adt-second-step.rkt (79B)
1 #lang typed/racket 2 (require "adt.hl.rkt") 3 (provide (all-from-out "adt.hl.rkt"))