A package of InferJS tools, designed for runtime checking of Javascript types and narrowing through expectations.
