combinators

Implementations for the provided safeguard combinators.

Modules:

• all –

  Logical all (and) combinator safeguard.

• any –

  Logical any (or) combinator safeguard.

• assume_safe –

  Always safe (logical truth) combinator safeguard.

• select –

  Logical selector (switch case) combinator safeguard.