Syntax.CofBuilder
type t = t
val cof : (t, t) Kado__.Syntax.endo -> t
val le : t -> t -> t
val bot : t
val top : t
val join : t list -> t
val meet : t list -> t
val eq : t -> t -> t
val eq0 : t -> t
val eq1 : t -> t
val boundary : t -> t
val forall : (t * t) -> t