I wanted to create a files students could require and thought I'd include signatures in case some precocious students look at the file. Is there support for
(: name (input -> output))
in some module I can require? Using one of the teaching languages works, but then I can't provide the helper function.