View difference between Paste ID: <a href="/kaaqRmzf">kaaqRmzf</a> and <a href="/DVvJ3CFg">DVvJ3CFg</a>

(type-case ISE-Value (vals-val result)                                                                                                                                         [numV (n) (not (= 0 n))]
1	-	(type-case ISE-Value (vals-val result) [numV (n) (not (= 0 n))]
1	+	(type-case ISE-Value (vals-val result)
2		[numV (n) (not (= 0 n))]
3		[else #t])))
4		;not (= 0 (numV-n (vals-val (interp-helper body (anEnv param num cEnv) evaled-dist-state))))))