module CodeSemantics: sig .. end
sig
end
module Make: functor (M : Wp.Sigs.Model) -> Wp.Sigs.CodeSemantics with module M = M
functor (
M
:
Wp.Sigs.Model
) ->
Wp.Sigs.CodeSemantics
with module M = M