Runtime Package

This theory groups the minimal set of predicates that are usually defined for the interpreter:

Comments