Cobol_preproc.Optionsmodule EXEC_LANG : sig ... endmodule EXEC_MAP : sig ... endtype preproc_options = {config : Cobol_config.t;platform : Cobol_common.Platform.TYPES.platform;copybook_lookup_config : Cobol_common.Copybook.TYPES.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 : platform:Cobol_common.Platform.TYPES.platform -> preproc_options