Re: How to tie procedure to type?

[zahary]

You definitely cannot use a run-time closure as a static parameter, but you can 
tweak the CmpState example above to handle the special case where CmpState is a 
closure type.