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