bound-extras-0: examples/stlc-not-tt.txt

not-tt : Bool
not-tt = ((the (-> Bool Bool) (fn x (if x #f #t))) #t)
not-tt = #f