Advertisement
Guest User

Untitled

a guest
Oct 23rd, 2018
83
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.34 KB | None | 0 0
  1. (type-case ISE-Value (vals-val result)
  2. [numV (n) (not (= 0 n))]
  3. [else #t]))
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement