aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/void.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/void.spad.pamphlet')
-rw-r--r--src/algebra/void.spad.pamphlet3
1 files changed, 1 insertions, 2 deletions
diff --git a/src/algebra/void.spad.pamphlet b/src/algebra/void.spad.pamphlet
index 890b854b..fd27c702 100644
--- a/src/algebra/void.spad.pamphlet
+++ b/src/algebra/void.spad.pamphlet
@@ -32,9 +32,8 @@
++ All values can be coerced to type Void. Once a value has been coerced
++ to Void, it cannot be recovered.
-Void: with
+Void: CoercibleTo OutputForm with
void: () -> % ++ void() produces a void object.
- coerce: % -> OutputForm ++ coerce(v) coerces void object to outputForm.
== add
Rep := String
void() == voidValue()$Lisp