Package "builtin"

This theory groups the minimal set of predicates that need to be predefined by the interpreter itself:

Comments