def random

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

import Base

1310def random(r: Out(U32)) -> Nat:
1311  match r:
1312    case Done{x}:
1313      U32.to_nat(x)
1314    case Fail{e}:
1315      0n