built-in method
eos//0
Description
eos
This non-terminal matches the end-of-input. It is implemented by
checking that the implicit difference list unifies with []-[].
Modes and number of proofs
eos - zero_or_one
Errors
(none)
Examples
abc --> a, b, c, eos.