match onedecl with
| ({v_namei = var;
v_type = t;
+ v_type_bis = tbis;
v_storage = _sto;
v_attr = attrs}) ->
vk_type bigf t;
+ (* dont go in tbis *)
attrs +> List.iter (vk_attribute bigf);
var +> Common.do_option (fun (name, iniopt) ->
vk_name bigf name;
and aux ({v_namei = var;
v_type = t;
+ v_type_bis = tbis;
v_storage = sto;
v_local= local;
v_attr = attrs}, iicomma) =
vk_ini_s bigf init
)));
v_type = vk_type_s bigf t;
+ (* !!! dont go in semantic related stuff !!! *)
+ v_type_bis = tbis;
v_storage = sto;
v_local = local;
v_attr = attrs +> List.map (vk_attribute_s bigf);