def Nar.over

bend-kit-int@0.2.0.0 · int.bend:491

import Base

491def Nar.over(+m: U32, +r: U32) -> Maybe<&2, U32>:
492  Nar.opt(U32.is_gt(r, m), r)