Assume_info.Witnesses
type t = unit
val empty : t
val join : t -> t -> t
val lessequal : t -> t -> bool
val meet : t -> t -> t
val print : Format.formatter -> t -> unit
val compare : t -> t -> int