sig
  val failf : ('a, Format.formatter, unit, 'b) Pervasives.format4 -> 'a
  val as_forall_ :
    TPTP_model_ast.term -> TPTP_model_ast.var * TPTP_model_ast.term
  val open_forall :
    TPTP_model_ast.term -> TPTP_model_ast.var list * TPTP_model_ast.term
  val as_or_ : TPTP_model_ast.term -> TPTP_model_ast.term list
  val as_id_eqn_of_ :
    TPTP_model_ast.var -> TPTP_model_ast.term -> TPTP_model_ast.id
  val as_ground_term_ :
    TPTP_model_ast.term -> TPTP_model_ast.id * TPTP_model_ast.term list
  val as_eqn_ :
    TPTP_model_ast.term ->
    TPTP_model_ast.id *
    (TPTP_model_ast.var list * TPTP_model_ast.term list * TPTP_model_ast.term)
  val as_atom_ :
    TPTP_model_ast.term ->
    TPTP_model_ast.id *
    (TPTP_model_ast.var list * TPTP_model_ast.term list * TPTP_model_ast.term)
end