;;;; box.types.scm  -*- Scheme -*-
;;;; Kon Lovett, Apr '20

;; Include File

(define-type box-struct (or (struct box) (struct box!)))
(define-type box-closure ((* * * -> *) -> *))
(define-type box (or box-struct box-closure))