[racket-dev] typed/scheme n00b question

On Sun, Sep 5, 2010 at 5:30 PM, Eli Barzilay <eli at barzilay.org> wrote:
>
> I think that this is the type for `file-or-directory-modify-seconds':
>
>  (case-lambda
>    [String -> Exact-Nonnegative-Integer]
>    [String (Option Exact-Nonnegative-Integer)
>            -> (U Exact-Nonnegative-Integer Void)]
>    [String (Option Exact-Nonnegative-Integer) (-> Any)
>            -> Any])

Probably you want something more specific that handles the [String
Integer] and [String False] cases separately.
-- 
sam th
samth at ccs.neu.edu