diff options
Diffstat (limited to 'src/algebra/domain.spad.pamphlet')
| -rw-r--r-- | src/algebra/domain.spad.pamphlet | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/algebra/domain.spad.pamphlet b/src/algebra/domain.spad.pamphlet index dc9ea2f8..4fc644c9 100644 --- a/src/algebra/domain.spad.pamphlet +++ b/src/algebra/domain.spad.pamphlet @@ -29,9 +29,9 @@ ConstructorKind(): Public == Private where domain: % ++ `domain' is the kind of domain constructors package: % ++ `package' is the kind of package constructors. Private == add - category == 'category : % - domain == 'domain : % - package == 'package : % + category == %categoryKind$Foreign(Builtin) + domain == %domainKind$Foreign(Builtin) + package == %packageKind$Foreign(Builtin) k1 = k2 == %peq(k1,k2)$Foreign(Builtin) coerce(k: %): OutputForm == k : OutputForm |