#lang plait
(define-type ENV
[EmptyEnv]
[Extend (name : Symbol) (val : VAL)
(rest : ENV)])
(define-type VAL
[NumV (n : Number)]
[FunV (arg : Symbol) (body : FLANG)
(env : ENV)])
#lang plait
(define-type ENV
[EmptyEnv]
[Extend (name : Symbol) (val : VAL)
(rest : ENV)])
(define-type VAL
[NumV (n : Number)]
[FunV (arg : Symbol) (body : FLANG)
(env : ENV)])