I use procedure properties for this purpose. I assign a predicate that matches the return values as a property. Predicates are, of course, the types in Scheme.
Sent from my iPad On Oct 13, 2011, at 5:42 PM, Linas Vepstas <[email protected]> wrote: > Any clue on how to indicate that func returns type 'X' ?
