6 lines
108 B
Racket
6 lines
108 B
Racket
|
#lang typed/syndicate/roles
|
||
|
|
||
|
(require-struct cow #:as Cow #:from "untyped.rkt")
|
||
|
|
||
|
(provide (struct-out cow))
|