aboutsummaryrefslogtreecommitdiff
path: root/src/algebra
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra')
-rw-r--r--src/algebra/domain.spad.pamphlet3
1 files changed, 1 insertions, 2 deletions
diff --git a/src/algebra/domain.spad.pamphlet b/src/algebra/domain.spad.pamphlet
index 3984223c..8cb16c5e 100644
--- a/src/algebra/domain.spad.pamphlet
+++ b/src/algebra/domain.spad.pamphlet
@@ -126,7 +126,7 @@ ConstructorCategory(): Category == OperatorCategory Identifier with
++ Description:
++ This domain provides implementations for constructors.
Constructor(): ConstructorCategory with
- findConstructor: Symbol -> Maybe %
+ findConstructor: Identifier -> Maybe %
++ \spad{findConstructor(s)} attempts to find a constructor
++ named \spad{s}. If successful, returns that constructor;
++ otherwise, returns \spad{nothing}.
@@ -146,7 +146,6 @@ Constructor(): ConstructorCategory with
<<domain CTORCALL ConstructorCall>>=
import SetCategory
-import Symbol
import List Syntax
)abbrev domain CTORCALL ConstructorCall
++ Author: Gabriel Dos Reis