Lines Matching refs:trav
303 fun trav t =309 trav M (* to be revised *)310 else trav M311 in mk_plet (v, M', trav N)315 val M1' = trav M1316 val M2' = trav M2321 in mk_pabs(v,trav M)325 trav tm366 fun trav M =369 val M1' = trav M1370 val M2' = trav M2375 in mk_pabs(v,trav N)379 trav tm