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