Module Qed.Pool

module type Type = sig ... end
module Make (T : Type) : sig ... end