let rec parse_local_declarators sclass basetype binds ~env = function
[] -> binds
| PinitDecl(decl,init) :: tl ->
let id, ty, _ = decl_to_type ~env decl basetype in
let nid = add_local_binding_to_env id sclass (Var ty) ~env in
let ty, einit =
match init with
None -> ty, None
| Some i ->
let ty, init = parse_initialization ~env i ty in
ty, Some init
in
parse_local_declarators sclass basetype (binds @ [sclass, ty, nid, einit]) ~env tl