Lines Matching defs:ys
11 fun div_at [] ys = (ys,[])
12 | div_at (x::xs) ys = if x = "|" then (rev ys,xs) else
13 div_at xs (x::ys)
81 | find x ((y,z)::ys) = if x = y then z else find x ys
127 fun rem [] b ys = rev ys
128 | rem (x::xs) b ys =
129 if x = #"[" then rem xs true (x::ys) else
130 if x = #"]" then rem xs false (x::ys) else
131 if x = #" " then if b then rem xs b ys else rem xs b (x::ys) else
132 rem xs b (x::ys)
136 val ys = filter (fn (x,y) => ((hd y = hd xs) handle _ => false)) instructions
140 val (xs,ys) = if not (mem "BYTE" xs) then (xs,ys) else
143 (filter (fn (x,y) => mem "r/m8" y) ys))
145 | pos x (y::ys) = if x = y then 0 else 1 + pos x ys
147 | find x ((y,z)::ys) = if x = y then z else find x ys
152 val (zs,ys) = (hd) ys
154 fun use_encoding (zs,ys) = let
155 val l = filter (fn (x,y) => not (x = y)) (zip xs ys)
201 val all = try_all use_encoding ys