9 lines
145 B
Racket
9 lines
145 B
Racket
#lang typed/racket
|
|
|
|
(define-struct: (A) Box ([value : A]))
|
|
(define-struct: (A) (Child-Box Box) ())
|
|
|
|
|
|
(ann (Box-value (Child-Box 'sym)) Nothing)
|
|
|