CofThy.Make
module Symbol : Basis.Symbol.S
module CofVar : sig ... end
module Dim : sig ... end
include sig ... end
type cof = (Dim.t, CofVar.t) Kado__.Syntax.free
type alg_thy
type disj_thy
module Alg : sig ... end
module Disj : sig ... end