let convert_struct_declaration ~env (id, sentry) =
  let s = !sentry in
  make_decl
    (PdeclVariable
       ([TypeSpec 
           (PtypespecStruct
              (s.str_union_p,
               Some (find_struct_name ~env id),
               Some (make_struct_declarations ~env s.str_fields)))], []))