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