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