law filter_true

bend-mathlib@0.8.1.0 · list.bend:1390

import Base

1390# Filtering with an always-true predicate gives the list back.
1391law filter_true:
1392  for ~A: Data
1393  for xs: List<&2, A>
1394  {List.filter(~A, ~(x => True{}), xs) == xs : List<&2, A>}