(bind-func print:[void,!a]* -> (lambda (r x) (and (t:tuple? x) (t:elts? x 2))) (lambda (tup) (printout "<" (tref tup 0) "," (tref tup 1) ">") void))