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