Function index 

pub fn index(value: Expr, at: Expr) -> Expr

a[i] for an array, and Sequences.at(v, i) for the sequence the codec marked with sequence_view.