Tiny JavaScript library for preconditions, postconditions and invariants, intended for use with Contractual.
