diff options
Diffstat (limited to 'src/interp/c-util.boot')
-rw-r--r-- | src/interp/c-util.boot | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/interp/c-util.boot b/src/interp/c-util.boot index 6f40e699..986fbea0 100644 --- a/src/interp/c-util.boot +++ b/src/interp/c-util.boot @@ -77,6 +77,11 @@ macro instantiationArgs d == macro categoryExports d == categoryRef(d,1) +++ Return the predicate values associated with the domain object. +++ This is an integer interpreted as bit vector +macro domainPredicates d == + domainRef(d,3) + --% $SetCategory == '(SetCategory) |