~/jendhub

def negated_pred

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

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

235def negated_pred(~S: Type, ~V: Data, ~C: Data, ~pred: S -> C -> V -> S & Bool, s: S, +c: C, +v: V) -> S & Bool:
236  negated_result(~S, pred(s, c, v))

Uses (3)

Used by (1)