# Void¶

This type is used when no value is needed, e.g. in the then part of a one armed if. All values can be coerced to type Void. Once a value has been coerced to Void, it cannot be recovered.
coerce(v) coerces void object to OutputForm.
void() produces a void object.