Module AltErgoLib.Instances

module type S = sig ... end
module Make : functor (X : Theory.S) -> S with type tbox = X.t