let
has_declaration =
Hashtbl
.mem gindex