Module Ast.Program

val gen_program : int -> Structure.structure_item list QCheck.Gen.t