Module LogicAssigns

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