in
(* generate annobj, ids_to_inner_sorts and ids_to_inner_types *)
let annobj,_,_,ids_to_inner_sorts,ids_to_inner_types,_,_ =
in
(* generate annobj, ids_to_inner_sorts and ids_to_inner_types *)
let annobj,_,_,ids_to_inner_sorts,ids_to_inner_types,_,_ =