ϵ">]>
[CL] Formatting the output. Use the format to display numbers in the list representation. For instance, the result of the query is shown as the expression . Note that the predicate is defined in the module Standard.
[CL] List membership. The list membership predicate is defined in the module Standard:
Notation. We write for the application and for its negation .