~/jendhub

def rd.wf

bend-kit-runner@0.13.0.1 · runner.bend:814

import bend-kit-runner@0.13.0.1/runner.bend as Runner
import Base

814# The trie, when it is well formed as the never-selected laws assume.
815def rd.wf(-A: Data, ok: Bool, ds: Graves(A)) -> Dec(Graves(A)):
816  match ok:
817    case True{}:
818      Dec.pure(Graves(A), ds)
819    case False{}:
820      Dec.fail(Graves(A))

Uses (5)

Used by (1)