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