let
get_declaration id = (lookup id).r_declaration