diff options
author | dos-reis <gdr@axiomatics.org> | 2009-04-27 00:52:56 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-04-27 00:52:56 +0000 |
commit | 859f04d06f9961fe66abcace3ba37985f641d30c (patch) | |
tree | a83fd7b41363ffa4b203f6c416099e7a701115d1 /src/algebra | |
parent | 01bdaf0d023c2ec91ebc8f525eef9a2855d65814 (diff) | |
download | open-axiom-859f04d06f9961fe66abcace3ba37985f641d30c.tar.gz |
* algebra/domain.spad.pamphlet (Constructor): Use Identifier.
Diffstat (limited to 'src/algebra')
-rw-r--r-- | src/algebra/domain.spad.pamphlet | 3 |
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 |