Skip to main content

mk_array_map

oxilean_std::array::functions

Function mk_array_map 

Source 
pub fn mk_array_map(f: Expr, arr: Expr) -> Expr
Expand description

Build Array.map f arr.