16 lines
225 B
Racket
16 lines
225 B
Racket
#lang racket/base
|
|
|
|
(module defs typed/racket/base
|
|
(provide foo)
|
|
(: foo Integer)
|
|
(define foo 4)
|
|
)
|
|
|
|
(module private-defs typed/racket/base
|
|
(require (submod ".." defs))
|
|
(provide foo)
|
|
)
|
|
|
|
(require 'private-defs)
|
|
foo
|