diff options
Diffstat (limited to 'src/interp/sys-constants.boot')
| -rw-r--r-- | src/interp/sys-constants.boot | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/interp/sys-constants.boot b/src/interp/sys-constants.boot index b8aa8983..bb8c8575 100644 --- a/src/interp/sys-constants.boot +++ b/src/interp/sys-constants.boot @@ -343,6 +343,15 @@ $SideEffectFreeFunctionList == $Field == '(Field) +$DivisionRing == + '(DivisionRing) + +$CombinatorialFunctionCategory == + '(CombinatorialFunctionCategory) + +$Group == + '(Group) + ++ The Void domain constructor form $Void == '(Void) |