path	# lines of code
src/NoReturn.php	9
src/ArrayShape.php	8
src/Pure.php	9
src/ExpectedValues.php	8
src/Language.php	8
src/Deprecated.php	24
src/ObjectShape.php	7
src/Immutable.php	13