Module Sigma

module Sigma: sig .. end

module Make: 
functor (C : Sigs.Chunk) -> 
functor (H : Qed.Collection.S  with type t = C.t) -> Sigs.Sigma  with type chunk = C.t
              and module Chunk = H