type Value: TableValue
fn len() -> usize
fn lookup(idx: usize) -> Self::Value
fn check_at<A: Access<Self>>(idx: usize, accessor: A) -> bool
fn mask<A: Flag<Self>>(_hint: A) -> Self::Value
fn unbound_check_at<A: Access<Self>>(idx: usize, accessor: A) -> bool