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