PR #3928 Make FlatState a Mapping instead of a dict

Make FlatState a Mapping instead of a dict #3928

copybara-service merged 1 commit into google:main from NeilGirdhar:use_mapping

NeilGirdhar force pushed 1 year ago

NeilGirdhar force pushed 1 year ago

cgarciae approved these changes on 2024-05-22

NeilGirdhar force pushed 1 year ago

Make FlatState a Mapping instead of a dict

ecb7cf37

NeilGirdhar force pushed to ecb7cf37 1 year ago

cgarciae approved these changes on 2024-06-04

cgarciae added pull ready

copybara-service merged bff079b7 into main 1 year ago

NeilGirdhar deleted the use_mapping branch 1 year ago

Reviewers

cgarciae

Assignees

No one assigned

Labels

pull ready

Milestone

No milestone