type_spec (pypi): Pre/post condition type checks for python functions
Keywords: types