refinement-types (npm): Refinement types system for runtime type and contracts checking
Keywords: refinement|types|blood|contracts