Builtin Sorts and Type Constructors, Constants and Predicates

The builtin notions supported by Teyjus are sub-categorized below and are described by the wikis reached by the corresponding links:

• Builtin Sorts and Type Constructors

• Logical Constants and Primitive Goals

• Prevasive Constants

• Builtin Comparison Predicates

• Input/Output and Other Side-Effecting Predicates