Parameter Make_component.Witnesses

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