(define-module (c eval2)
  :use-module ((hnh util) :select (->))
  :export (C-TRUE
           C-FALSE
           boolean->c-boolean
           c-boolean->boolean
           c-not))


(define C-TRUE 1)
(define C-FALSE 0)

(define (boolean->c-boolean bool)
  (if bool C-TRUE C-FALSE))

(define (c-boolean->boolean bool)
  (not (zero? bool)))

(define (c-not b)
  (-> b c-boolean->boolean not boolean->c-boolean))