LARA

Simple Module Invariants

Invariants as Shorthands

Hiding Private Invariants