Searched defs:eqListWith (Results 1 – 1 of 1) sorted by relevance
275 eqListWith f (a : as) (b : bs) = f a b && eqListWith f as bs function276 eqListWith _ [] [] = True function277 eqListWith _ _ _ = False function