Parameter `Make_value.Witnesses`

type t

val empty : Witnesses.t

val join : Witnesses.t -> Witnesses.t -> Witnesses.t

val meet : Witnesses.t -> Witnesses.t -> Witnesses.t

val lessequal : Witnesses.t -> Witnesses.t -> bool

val print : Stdlib.Format.formatter -> Witnesses.t -> unit

val compare : Witnesses.t -> Witnesses.t -> int

Parameter Make_value.Witnesses