List of all items

Macros

• always
• always_ge
• always_gt
• always_le
• always_lt
• always_or_unreachable
• always_some
• reachable
• sometimes
• sometimes_all
• sometimes_ge
• sometimes_gt
• sometimes_le
• sometimes_lt
• unreachable

Functions

• init