Ortac_dune.Qcheck_stmSourcetype config = {interface_file : string;config_file : string option;ocaml_output : string option;library : string option;package_name : string option;dune_output : string option;module_prefix : string option;submodule : string option;fork_timeout : int option;}