module Sigma: sig .. end
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
functor (
C
:
Wp.Sigs.Chunk
) ->
H
Qed.Collection.S
with type t = C.t
Wp.Sigs.Sigma
with type chunk = C.t and module Chunk = H