def within

stelliferous@0.0.2.0 · tensor.bend:46

import Base

46# Element count of a shape that the default machine can allocate.
47def within(fits: Bool,count: U32) -> Maybe<&2,U32>:
48  match fits:
49    case True{}: Some{count}
50    case False{}: None{}