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