Ac (alt-ergo-lib.AltErgoLib.Ac)

module type S = sig ... end

module Make (X : Sig.X) : S with type r = X.r