Skip to main content

mk_array_get

Function mk_array_get 

Source
pub fn mk_array_get(arr: Expr, idx: Expr) -> Expr
Expand description

Build Array.get arr idx.