module LogicAssigns: sig .. end
sig
end
module type Code = sig .. end
module type Logic = sig .. end
module Make: functor (M : Memory.Model) -> functor (C : Code with type loc = M.loc) -> functor (L : Logic with type loc = M.loc) -> sig .. end
functor (
M
:
Memory.Model
) ->
C
Code
with type loc = M.loc
L
Logic