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