Module Tptp

module Tptp: sig .. end

module type Id = Ast_tptp.Id

module type Term = Ast_tptp.Term

module type Statement = Ast_tptp.Statement

module Make: 
functor (L : ParseLocation.S) -> 
functor (I : Id) -> 
functor (T : Term  with type location := L.t and type id := I.t) -> 
functor (S : Statement  with type location := L.t and type id := I.t and type term := T.t) -> Language_intf.S  with type statement = S.t