let
empty_state =
Pdg_state
.empty