def Int.read.fit

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

import Base

413def Int.read.fit(bad: Bool, -n: Nat, w: Word(n)) -> Maybe<&2, Word(n)>:
414  match bad:
415    case True{}:
416      None{}
417    case False{}:
418      Some{w}