<div>Hi there,</div>
<div> </div>
<div>I just started fumbling around with contracts and I was trying to write a contract for a function similar to map:</div>
<div> </div>
<div>map proc clist1 clist2 ... -> list </div>
<div> </div>
<div>Is there a way to say that proc is a procedure whose arity should match the number of clist arguments?</div>
<div> </div>
<div>TIA,</div>
<div>-pp</div>
<div> </div>