def index_checked

bendvy-ecs-core@0.1.0.3 · execution_query_identity.bend:46

import Base

46def index_checked(+logical:U32,normal:Bool) -> Maybe<&2,U32>:
47  match normal:
48    case False{}:None{}
49    case True{}:Some{U32.sub(logical,1)}