def count_node
import bend-collections@1.0.0.0/src/containers/internal/intrusive_list.bend as IntrusiveListimport Base
282def count_node(~S: Type, ~N: Data, s: S, c: Unit, +acc: Nat, +node: N) -> S & Nat:
283 (s, 1n+acc)
import bend-collections@1.0.0.0/src/containers/internal/intrusive_list.bend as IntrusiveListimport Base
282def count_node(~S: Type, ~N: Data, s: S, c: Unit, +acc: Nat, +node: N) -> S & Nat:
283 (s, 1n+acc)