refinement-types

Refinement types system for runtime type and contracts checking

Browse on unpkg