Module LogicAssigns

module LogicAssigns: 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