let (p_bindings, p_atoms, p_names, p_action) = inner_pattern p in
let env0 = List.map list_binding_of_name p_names in
let grow_env_entry env n v =
let (p_bindings, p_atoms, p_names, p_action) = inner_pattern p in
let env0 = List.map list_binding_of_name p_names in
let grow_env_entry env n v =