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