UNPKG

contracts-js

Version:

A contract library for JavaScript

10 lines (7 loc) 176 B
import @ from "contracts.js" @ (x: Pos) -> res: Num | res <= x function bad_square_root(x) { // oops, square *root* not square! return x * x; } bad_square_root(100);