fact: Definition prop_gen_indist_derived := forAllShrink (gen_variation_state_derived) (fun _ => nil) (fun mv => match mv with | Some (V st1 st2) => indist st1 st2 | _ => true end).
imports: QuickChick(QuickChick) List QuickChick.ifcbasic(Machine Printing Generation Indist DerivedGen) Coq.Strings.String