Function stark::sail::arrvec_init [−][src]
pub fn arrvec_init<T: SizedBase + Copy>(
reg: *mut Region,
typ: u32,
len: u32,
val: &[T]
) -> *mut SlHead
pub fn arrvec_init<T: SizedBase + Copy>(
reg: *mut Region,
typ: u32,
len: u32,
val: &[T]
) -> *mut SlHead