fact: Definition gen_term (tau : type) := sized (fun s => gen_term_size (s, tau) []).
imports: mathcomp(ssreflect ssrbool eqtype) Arith List String Lia Program Relations Wellfounded Lexicographic_Product QuickChick(QuickChick) QuickChick.stlc(monad)