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