sig
val init_evaluables : Term.symbol_table -> unit
val clear_evaluables : Term.symbol_table -> unit
val eval : Term.term -> Term.context -> Term.term
val register_evaluable :
Term.symbol_table -> string -> int -> Term.f -> unit
end