def fold_facts

bend-lint-pack@0.1.1.0 · vendor/lint.bend:123

import Base

123def fold_facts(~A: Type, ~step: A -> @+f: Fact -> IO(A), acc: A) -> IO(A):
124  do IO<A>:
125    m : Maybe<&2, Fact> <- next_fact()
126    fold_next(~A, ~step, m, acc, a => fold_facts(~A, ~step, a))