local.fs

    let rec takeWhileFreshConsTail cons p l =
        match l with
        | [] -> 
            setFreshConsTail cons []
        | x::xs ->
            if p x then
                let cons2 = freshConsNoTail x
                setFreshConsTail cons cons2
                takeWhileFreshConsTail cons2 p xs
            else
                setFreshConsTail cons []

    let takeWhile p l = 
        match l with
        | [] -> []
        | [x] -> if p x then l else []
        | x::xs ->
            let cons = freshConsNoTail x
            takeWhileFreshConsTail cons p xs
            cons