@yawaramin/dbc (npm): This is a small library to help you program in a design-by-contract style in JavaScript and ReasonML (i.e. BuckleScript).
Keywords: BuckleScript|ReasonML|OCaml|design by contract