@@ -391,10 +391,10 @@ Totality
393Sets explicitly to which extent pattern matching is terminating and/or
393Sets explicitly to which extent pattern matching is terminating and/or
394−exhaustive. A partial pattern matching makes no assumption. A covering patterns
394+exhaustive. A ``partial`` pattern matching makes no assumption. A ``covering``
395−matching ensures that pattern matching is exhaustive on its clauses.
395+pattern matching ensures that pattern matching is exhaustive on its clauses.
396−Furthermore, a total pattern matching enforces both exhaustivity and termination
396+Furthermore, a ``total`` pattern matching enforces both exhaustivity and
397−of the evaluation of its clauses.
397+termination of the evaluation of its clauses.
399Implicit Coercion
399Implicit Coercion
400^^^^^^^^^^^^^^^^^
400^^^^^^^^^^^^^^^^^