match lwith

| h::t-> LanguagePrimitives.PhysicalEquality x h|| memq x t

match lwith

|[]->[], s

|[h]->letf= OptimizedClosures.FSharpFunc<_,_,_>.Adapt(f)

leth',s'= f.Invoke(s, h)

[h'], s'

List.mapFold f s l

match lwith

| x::xs-> fhead x:: List.map ftail xs

letl,s= mapFold f s l

letl,s=List.mapFold f s l

List.concat l, s

letcollect2 f xs ys= List.concat(List.map2 f xs ys)

letiterSquared f xss= xss|> List.iter(List.iter f)

letcollectSquared f xss= xss|> List.collect(List.collect f)

letmapSquared f xss= xss|> List.map(List.map f)

letmapFoldSquared f z xss= mapFold(mapFold f) z xss

letmapFoldSquared f z xss=List.mapFold(List.mapFold f) z xss

letforallSquared f xss= xss|> List.forall(List.forall f)

letmapiSquared f xss= xss|> List.mapi(fun i xs-> xs|> List.mapi(fun j x-> f i j x))

letexistsSquared f xss= xss|> List.exists(fun xs-> xs|> List.exists(fun x-> f x))