10 lines
212 B
Racket
10 lines
212 B
Racket
#lang typed/racket/base
|
|
|
|
(struct: (D) Boxer ((f : (Boxer2 D))))
|
|
(struct: (D) Boxer2 ((f : (D -> Void))))
|
|
|
|
(: f-Boxer (All (D) ((Boxer D) D -> Void)))
|
|
(define (f-Boxer boxer v)
|
|
((Boxer2-f (Boxer-f boxer)) v))
|
|
|