fact: Definition prop_gen_indist := forAllShrink gen_variation_state (fun _ => nil) (fun v => let '(V st1 st2) := v in indist st1 st2).
imports: QuickChick(QuickChick) List QuickChick.ifcbasic(Machine Printing Generation Indist DerivedGen) Coq.Strings.String