Module Sigma

module Sigma: sig .. end

module Make: 
functor (C : Memory.Chunk) ->
functor (H : Qed.Collection.S with type t = C.t) -> sig .. end