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