or cofinite *)
include FiniteCofinite.S with type elt = QName.t
+include Sigs.AUX.Printable with type t := t
-module Weak : FiniteCofinite.S with type elt = QName.t
+module Weak :
+ sig
+ include FiniteCofinite.S with type elt = QName.t
+ include Sigs.AUX.Printable with type t := t
+ end