-
Notifications
You must be signed in to change notification settings - Fork 9
Constants & Keywords
Mark Lavrentyev edited this page Apr 22, 2020
·
2 revisions
Forge has a few constants that it provides:
-
univ: a set of all the atoms in the universe (including Ints) -
none: the empty set -
iden: a relation from all atoms in the universe to themselves (including Ints) -
Int: a set of integers that Forge provides. By default it has -8 to 7 inclusive. See Integers for more information.
The following is a list of keywords in Forge that may not be used as names for relations, sigs, predicates, and runs.