|
letrec-exp (p-result-type type?) (p-name symbol?)
(b-var symbol?) (b-var-type type?)
(p-body expression?) (letrec-body expression?)))
(define-datatype type type?
(int-type)
(bool-type)
(proc-type (arg-type type?) (result-type type?)))
;; =================
|
|
메뉴펼치기
