CofBuilder.Make
module Symbol : Basis.Symbol.S
module CofVar : sig ... end
module Dim : sig ... end
include sig ... end
type t = (Dim.t, CofVar.t) Kado__.Syntax.free
val cof : (Dim.t, t) Kado__.Syntax.endo -> t
val le : Dim.t -> Dim.t -> t
val bot : t
val top : t
val join : t list -> t
val meet : t list -> t
val eq : Dim.t -> Dim.t -> t
val eq0 : Dim.t -> t
val eq1 : Dim.t -> t
val boundary : Dim.t -> t
val forall : (Dim.t * t) -> t
val var : CofVar.t -> t