Module Logic

module Logic: sig .. end

module Make: 
functor (L : ParseLocation.S) -> 
functor (I : Id_intf.Logic) -> 
functor (T : Term_intf.Logic  with type location := L.t and type id := I.t) -> 
functor (S : Stmt_intf.Logic  with type location := L.t and type id := I.t and type term := T.t) -> sig .. end