/usr/share/axiom-20170501/src/algebra/VOID.spad is in axiom-source 20170501-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 | )abbrev domain VOID Void
-- These types act as the top and bottom of the type lattice
-- and are known to the compiler and interpreter for type resolution.
++ Author: Stephen M. Watt
++ Date Created: 1986
++ Date Last Updated: May 30, 1991
++ Description:
++ This type is used when no value is needed, for example, in the \spad{then}
++ part of a one armed \spad{if}.
++ All values can be coerced to type Void. Once a value has been coerced
++ to Void, it cannot be recovered.
Void() : SIG == CODE where
SIG ==> with
void: () -> %
++ void() produces a void object.
coerce: % -> OutputForm
++ coerce(v) coerces void object to outputForm.
CODE ==> add
Rep := String
void() == voidValue()$Lisp
coerce(v:%) == coerce(v)$Rep
|