module StmtSemantics: sig .. end
sig
end
module Make: functor (Compiler : Wp.Sigs.Compiler) -> sig .. end
functor (
Compiler
:
Wp.Sigs.Compiler
) ->