sig
  exception Convert_error of string
  val term_to_string : Term.term -> string
  val map_term : (Term.term -> 'a) -> Term.term -> 'a list
  val term_to_alist : Term.term -> (string * Term.term) list
  val term_is_list : Term.term -> bool
  val term_list_to_list : Term.term -> Term.term list
  val term_sequence_to_list : Term.symbol -> Term.term -> Term.term list
  val term_to_int : Term.term -> int
  val term_to_float : Term.term -> float
  val term_to_array_of_int : Term.term -> int array
  val term_to_array_of_float : Term.term -> float array
  val term_nth_arg : Term.term -> int -> Term.term
  val term_pair : Term.term -> Term.term * Term.term
  val symbol_to_string : Term.symbol -> string
  val term_functor_symbol : Term.term -> Term.symbol
  val term_functor_pair : Term.term -> string * int
  val predspec_pair : Term.term -> string * int
  val list_of_term_to_term : Term.symbol_table -> Term.term list -> Term.term
  val list_of_term_to_term_1 :
    Term.symbol -> Term.symbol -> Term.term list -> Term.term
  val array_of_int_to_term : Term.symbol_table -> int array -> Term.term
  val list_of_int_to_term : Term.symbol_table -> int list -> Term.term
  val array_of_float_to_term : Term.symbol_table -> float array -> Term.term
  val list_of_float_to_term : Term.symbol_table -> float list -> Term.term
  val alist_to_term :
    Term.symbol_table -> (string * Term.term) list -> Term.term
  val symbol_to_pred_spec_term :
    Term.symbol_table -> Term.symbol -> Term.term
  val array_to_compound :
    Term.symbol_table -> string -> Term.term array -> Term.term
  val string_to_term : Term.symbol_table -> string -> Term.term
  val int_to_term : int -> Term.term
  val float_to_term : float -> Term.term
end