fun pred: Fun1[E, Bool]

functional :: FilterIter :: pred

Property definitions

functional $ FilterIter :: pred 
        var pred: Fun1[E, Bool]
lib/functional/iter_extras.nit:282,9--31
Nit standard library. Version v0.8-3595-g3f58b4f.