rho-contracts (npm): Racket-style Higher Order Contracts in Plain Javascript
Keywords: contracts