Function stark::sail::core::core_copy_val

pub fn core_copy_val(reg: *mut Region, src: *mut SlHead) -> *mut SlHead

Copies the value from a Sail object of a core type into a newly allocated object