def rr.group.at

cswap-bend-cli@0.1.0.0 · policy/safe.bend:66

import Base

66def rr.group.at(+after: Bool) -> Nat:
67  match after:
68    case True{}:
69      0n
70    case False{}:
71      1n