def bounded_result

stelliferous@0.0.2.0 · math_checked_word.bend:7

import Base

7def bounded_result(valid: Bool,value: Nat) -> Maybe<&2,Nat>:
8  match valid:
9    case False{}: None{}
10    case True{}: Some{value}