Array Bound Check private stuff

Nga Nguyen

October 17, 2019

1 Introduction

import entity from "ri.newgen"

dimension_checked = dim:int x lower:bool x upper:bool

array_dimension_checked = array:entity x dims:dimension_checked*

abc_checked = list:array_dimension_checked*