Module TopDown.Default

module Default: sig .. end

include TopDown.S

val default_interpreters : (TopDown.const * string * DB.interpreter) list

List of default interpreters for some symbols, mostly infix predicates

val builtin : (TopDown.const * BuiltinFun.t) list

Default builtin functions

val setup_default : DB.t -> unit

Load the default interpreters and builtin functions into the DB

include TopDown.PARSE