Lines Matching defs:same
83 fun m ys same xxss =89 val same = same andalso x == y90 val ys = if same then xs else y :: ys92 m ys same xxss100 fun m acc ys same xxss =106 val same = same andalso x == y107 val ys = if same then xs else y :: ys109 m acc ys same xxss