def converted_pred

bend-collections@1.0.0.0 · src/containers/internal/intrusive_list.bend:295

import bend-collections@1.0.0.0/src/containers/internal/intrusive_list.bend as IntrusiveList

import Base

295def converted_pred(~S: Type, ~V: Data, ~D: Data, ~C: Data, ~convert: S -> V -> S & Maybe<&2, D>, ~pred: S -> C -> D -> S & Bool, s: S, +c: C, +v: V) -> S & Bool:
296  converted_pred_result(~S, ~V, ~D, ~C, ~convert, ~pred, c, convert(s, v))

Uses (4)

Used by (2)