def Dec.bind

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

import Base

643def Dec.bind(-A: Type, -B: Type, m: Dec(A), f: A -> Dec(B)) -> Dec(B):
644  r => Dec.next(A, B, m(r), f)

Uses (2)