;; -*- Mode: Irken -*-
(datatype bool (:true) (:false))
(define (< a b)
(%%cexp (int int -> bool) "%0<%1" a b))
(defmacro zand
(zand) -> #t
(zand test) -> test
(zand test1 test2 ...) -> (if test1 (zand test2 ...) #f)
)
(zand (< 1 2) (< 3 4) (< 5 6))