include sig ... end
val equal : t -> t -> bool
val compare : t -> t -> int
val pretty : unit -> t -> Printable.Pretty.doc
val printXml : 'a BatInnerIO.output -> t -> unit
val name : unit -> string
val to_yojson : t -> Yojson.Safe.t
val arbitrary : unit -> t QCheck.arbitrary
val leq : 'a -> 'b -> bool
val join : 'a -> 'b -> 'a
val widen : 'a -> 'b -> 'a
val meet : 'a -> 'b -> 'a
val narrow : 'a -> 'b -> 'a
val pretty_diff : unit -> 'a -> Lattice.Pretty.doc