Lines Matching defs:doit
42 fun doit posp acc tm = let45 doit posp (doit posp acc r) l49 doit (not posp) acc t052 doit true []57 fun doit posp acc tm = let60 doit posp (doit posp acc r) l64 doit (not posp) acc t067 doit true []