sig
  val init_builtins : Term.symbol_table -> unit
  val clear_builtins : Term.symbol_table -> unit
  val register_builtin : Term.symbol_table -> string -> int -> Term.p -> unit
end