sigma-types 0.3.3

Types checked for an invariant.
Documentation