;;
;;;;;;
;
; HX-2016-06:
; for Scheme code
; translated from ATS
;
;;;;;;
;;

;;
;;;;;;
; beg of [bool_cats.scm]
;;;;;;
;;

;; ****** ****** ;;

(define-macro
 (ats2scmpre_neg_bool0 x) `(not ,x)
)
(define-macro
 (ats2scmpre_neg_bool1 x) `(not ,x)
)

;; ****** ****** ;;

;; end of [bool_cats.scm] ;;
