Make.Alg
type t = alg_thy
val empty : t
val consistency : t -> [ `Consistent | `Inconsistent ]
val split : t -> cof list -> t list
val meet2 : t -> t -> t