Theory SML_Quickcheck

Up to index of Isabelle/HOL/Library

theory SML_Quickcheck
imports Main


header {* Install quickcheck of SML code generator *}

theory SML_Quickcheck
imports Main
begin


setup {*
InductiveCodegen.quickcheck_setup #>
Quickcheck.add_generator ("SML", Codegen.test_term)
*}


end