fact: Definition updTryShrinks (st : State) (f : nat -> nat) : State := match st with | MkState mst mdt ms cs nst ndt ls e r nss nts ana => MkState mst mdt ms cs nst ndt ls e r nss (f nts) ana end.
imports: RandomQC Coq.Strings.String StringOT FSets.FMapAVL