Cobol_preproc.Optionsmodule EXEC_LANG : sig ... endmodule EXEC_MAP : sig ... endtype preproc_options = {verbose : bool;config : Cobol_config.t;copybook_lookup_config : Cobol_common.Copybook.lookup_config;source_format : Cobol_config.source_format_spec;exec_preprocs : exec_preprocessor EXEC_MAP.t;env : Cobol_preproc__.Preproc_env.TYPES.definition
Stdlib__Map.Make(Cobol_preproc__.Preproc_env.VAR).t;}val default : preproc_options