def visit_true

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

import Base

496def visit_true(~S: Type, ~D: Data, ~C: Data, ~fn: S -> C -> D -> S, s: S, +c: C, +v: D) -> S & Bool:
497  (fn(s, c, v), True{})

Uses (3)