Function stark::sail::core::env_new_arg_layer [−][src]
pub fn env_new_arg_layer(reg: *mut Region) -> *mut SlHead
Expand description
Creates a new association list based environment layer; this is meant for storing arguments to Sail procedures