sigma-types 0.1.4

Types checked for an invariant.
Documentation