tightness 0.1.2

Define types bound by arbitrary invariants and conditions
Documentation