sig   type t   type id   type term   type location   val annot :     ?loc:Ast_tptp.Statement.location ->     Ast_tptp.Statement.term ->     Ast_tptp.Statement.term list -> Ast_tptp.Statement.term   val include_ :     ?loc:Ast_tptp.Statement.location ->     string -> Ast_tptp.Statement.id list -> Ast_tptp.Statement.t   val tpi :     ?loc:Ast_tptp.Statement.location ->     ?annot:Ast_tptp.Statement.term ->     Ast_tptp.Statement.id ->     string -> Ast_tptp.Statement.term -> Ast_tptp.Statement.t   val thf :     ?loc:Ast_tptp.Statement.location ->     ?annot:Ast_tptp.Statement.term ->     Ast_tptp.Statement.id ->     string -> Ast_tptp.Statement.term -> Ast_tptp.Statement.t   val tff :     ?loc:Ast_tptp.Statement.location ->     ?annot:Ast_tptp.Statement.term ->     Ast_tptp.Statement.id ->     string -> Ast_tptp.Statement.term -> Ast_tptp.Statement.t   val fof :     ?loc:Ast_tptp.Statement.location ->     ?annot:Ast_tptp.Statement.term ->     Ast_tptp.Statement.id ->     string -> Ast_tptp.Statement.term -> Ast_tptp.Statement.t   val cnf :     ?loc:Ast_tptp.Statement.location ->     ?annot:Ast_tptp.Statement.term ->     Ast_tptp.Statement.id ->     string -> Ast_tptp.Statement.term -> Ast_tptp.Statement.t end