This module is part of LeanCheck, a simple enumerative property-based testing library.

This module exports a Listable instance for function enumeration via lists of pairs.

This module considers functions as a finite list of exceptional input-output cases to a default value (list of pairs of arguments and results).