sigma-types 0.2.8

Types checked for an invariant.
Documentation