def rec.after.at

cswap-bend-cli@0.1.0.0 · policy/rank.bend:71

import Base

71def rec.after.at(+ok: Bool, +t: Nat) -> Maybe<&2, Nat>:
72  match ok:
73    case True{}:
74      Some{t}
75    case False{}:
76      None{}