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