vstd

Module pervasive

Source

Macros§

  • Macro to help set up boilerplate for specifying invariants when using invariant-based datatypes.

Traits§

Functions§