aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/coerce.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-11-20 23:46:20 +0000
committerdos-reis <gdr@axiomatics.org>2008-11-20 23:46:20 +0000
commit84baa1f88fc80b1e05412dcf5a25234962317691 (patch)
tree911c051482efd12280a6077063ad275c8fad76b0 /src/algebra/coerce.spad.pamphlet
parent003d8009ff08ef11901956ac887422cea0cc4b55 (diff)
downloadopen-axiom-84baa1f88fc80b1e05412dcf5a25234962317691.tar.gz
Fix documentation
Diffstat (limited to 'src/algebra/coerce.spad.pamphlet')
-rw-r--r--src/algebra/coerce.spad.pamphlet6
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 `%'.