Up to index of Isabelle/HOL/Library
header {* Install quickcheck of SML code generator *}theory SML_Quickcheckimports Mainbeginsetup {* InductiveCodegen.quickcheck_setup #> Quickcheck.add_generator ("SML", Codegen.test_term)*}end