import Grove.Framework
import GroveStdlib.Generated.«associative-query-operations»

/-
This file is autogenerated by grove. You can manually edit it, for example to resolve merge
conflicts, but be careful.
-/

open Grove.Framework Widget

namespace GroveStdlib.Generated

def restoreState : RestoreStateM Unit := do
  «associative-query-operations».restoreState