sig type t val compare : Tools.Base.t -> Tools.Base.t -> int end