#lang plai

(require "tvrcfae-t.rkt")

(define (list-env ex) (with-type 'numlist
                           'empty (numTE)
                           'cons  (pairTE (numTE) (idTE 'numlist))
                           ex))

(test (interp (list-env (id 'empty)) (mtSub)) (constructorV #f))

(test (interp (list-env (id 'cons)) (mtSub)) (constructorV #t))
%