Module CompareHashtbl.Var
include module type of struct include Printable.Std end
val arbitrary : unit -> 'a
include module type of struct include Var end
include Batteries.Hashtbl.HashedType
val equal : t -> t -> bool
val pretty_trace : unit -> t -> GoblintCil.Pretty.doc
val compare : t -> t -> int
val name : unit -> string
val pretty : unit -> t -> GoblintCil.Pretty.doc
include sig ... end
val printXml : 'a BatInnerIO.output -> t -> unit
val to_yojson : t -> [> `String of string ]