Skip to main content

mk_array_ty

oxilean_std::array::functions

Function mk_array_ty 

Source 
pub fn mk_array_ty(elem_ty: Expr, size: Expr) -> Expr
Expand description

Build the Array α n type expression.