416
416
print_option (mcode U.storage) stg; print_named_type ty midattr id;
417
417
print_attribute_list endattr;
419
| Ast0.FunProto(fninfo,name,lp1,params,va,rp1,sem) ->
419
| Ast0.FunProto(fninfo,attr,name,lp1,params,va,rp1,sem) ->
420
420
List.iter print_fninfo fninfo;
421
422
ident name; mcode print_string_box lp1;
422
423
parameter_list params; varargs va;
423
424
close_box(); mcode print_string rp1;