Lines Matching refs:trav
93 fun trav t =96 val _ = (trav M; trav N)104 in (trav M; trav N)108 in (trav M; trav N)114 if is_comb M then trav M else ()117 if is_comb M then trav M else ()121 in trav N128 trav e