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