Skip to main content

mk_array_push

oxilean_std::array::functions

Function mk_array_push 

Source 
pub fn mk_array_push(arr: Expr, elem: Expr) -> Expr
Expand description

Build Array.push arr elem.