Module Wp.Sigma

module Sigma: sig .. end

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