Examples of generated Conjure code.
This module is only intended to be present in documentation; it shouldn’t be relied on by any library code.