diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-11-20 23:46:20 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-11-20 23:46:20 +0000 |
| commit | 84baa1f88fc80b1e05412dcf5a25234962317691 (patch) | |
| tree | 911c051482efd12280a6077063ad275c8fad76b0 /src/algebra | |
| parent | 003d8009ff08ef11901956ac887422cea0cc4b55 (diff) | |
| download | open-axiom-84baa1f88fc80b1e05412dcf5a25234962317691.tar.gz | |
Fix documentation
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/coerce.spad.pamphlet | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/algebra/coerce.spad.pamphlet b/src/algebra/coerce.spad.pamphlet index e8fb6b36..bc066cda 100644 --- a/src/algebra/coerce.spad.pamphlet +++ b/src/algebra/coerce.spad.pamphlet @@ -70,8 +70,7 @@ CoercibleTo(S:Type): Category == with ++ See Also: CoercibleTo ++ Description: ++ A is coercible from B iff any element of domain B can be -++ automically converted into an element of domain B. In symbols -++ A has CoercibleFrom B <=> B has CoercibleTo A +++ automically converted into an element of domain A. CoercibleFrom(S: Type): Category == with coerce: S -> % ++ coerce(s) transforms `s' into an element of `%'. @@ -124,8 +123,7 @@ ConvertibleTo(S:Type): Category == with ++ See Also: ConvertibleTo ++ Description: ++ A is convertible from B iff any element of domain B can be -++ explicitly converted into an element of domain B. In symbols -++ A has ConvertibleFrom B <=> B has ConvertibleTo A +++ explicitly converted into an element of domain A. ConvertibleFrom(S: Type): Category == with convert: S -> % ++ convert(s) transforms `s' into an element of `%'. |