utils

Helper modules for implementing safeguards.

Modules:

• bindings –

  Types and helpers for late-bound safeguard parameters.

• cast –

  Utility functions to cast arrays to floating-point, binary, and total-order representations.

• error –

  Exception and warning types and helpers to raise exceptions with context.

• intervals –

  Types and helpers to construct safe intervals for the safeguards.

• typing –

  Commonly used type variables.