CodeUnit.CofThy
module CofVar : sig ... end
module Dim : 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