Trace (cobol_preproc.Cobol

module TYPES : sig ... end

include module type of TYPES
  with type copy_event_status = TYPES.copy_event_status
   and type log_entry = TYPES.log_entry
   and type log = TYPES.log

type log_entry = TYPES.log_entry =

| FileCopy of {
1. copyloc : Cobol_common.Srcloc.TYPES.srcloc;
2. status : copy_event_status;
}
| Replace of {
1. replloc : Cobol_common.Srcloc.TYPES.srcloc;
}
| Replacement of {
1. matched_loc : Cobol_common.Srcloc.TYPES.srcloc;
2. replacement_text : Text.text;
}
| CompilerDirective of {
1. compdir : Cobol_preproc__.Preproc_directives.compiler_directive;
2. loc : Cobol_common.Srcloc.TYPES.srcloc;
}
| Exec_block of {
1. preamble_loc : Cobol_common.Srcloc.TYPES.srcloc;
2. text : Text.text;
3. postamble_loc : Cobol_common.Srcloc.TYPES.srcloc option;
}
| Ignored of {
1. text : Text.text;
2. ignored_loc : Cobol_common.Srcloc.TYPES.srcloc;
}
| Variable_definition of {
1. loc : Cobol_common.Srcloc.TYPES.srcloc;
2. var : Cobol_preproc__.Preproc_env.VAR.t;
3. def : Cobol_preproc__.Preproc_env.TYPES.var_definition;
}
| Variable_substitution of {
1. loc : Cobol_common.Srcloc.TYPES.srcloc;
2. var : Cobol_preproc__.Preproc_env.VAR.t;
3. def : Cobol_preproc__.Preproc_env.TYPES.compilation_variable_definition Cobol_common.Srcloc.TYPES.with_src;
}
| Variable_evaluation of {
1. loc : Cobol_common.Srcloc.TYPES.srcloc;
2. var : Cobol_preproc__.Preproc_env.VAR.t;
3. def : Cobol_preproc__.Preproc_env.TYPES.var_definition option;
}

and copy_event_status = TYPES.copy_event_status =

| CopyDone of string
| CyclicCopy of string
| MissingCopy of Cobol_common.Copybook.TYPES.lookup_error

type log = TYPES.log

val empty : log

val append : log_entry -> log -> log

val append_entries : log_entry list -> log -> log

val new_compdir : 
  loc:Cobol_common.Srcloc.TYPES.srcloc ->
  compdir:Cobol_preproc__.Preproc_directives.compiler_directive ->
  log ->
  log

val copy_done : 
  loc:Cobol_common.Srcloc.TYPES.srcloc ->
  filename:string ->
  log ->
  log

val cyclic_copy : 
  loc:Cobol_common.Srcloc.TYPES.srcloc ->
  filename:string ->
  log ->
  log

val missing_copy : 
  loc:Cobol_common.Srcloc.TYPES.srcloc ->
  error:Cobol_common.Copybook.TYPES.lookup_error ->
  log ->
  log

val new_replace : loc:Cobol_common.Srcloc.TYPES.srcloc -> log -> log

val exec_block : 
  preamble_loc:Cobol_common.Srcloc.TYPES.srcloc ->
  ?postamble_loc:Cobol_common.Srcloc.TYPES.srcloc ->
  Text.text ->
  log ->
  log

val ignored : Text.text -> log -> log

val var_def : 
  loc:Cobol_common.Srcloc.TYPES.srcloc ->
  var:Cobol_preproc__.Preproc_env.VAR.t ->
  def:Cobol_preproc__.Preproc_env.TYPES.var_definition ->
  log ->
  log

val compvar_subst : 
  loc:Cobol_common.Srcloc.TYPES.srcloc ->
  var:Cobol_preproc__.Preproc_env.VAR.t ->
  def:
    Cobol_preproc__.Preproc_env.TYPES.compilation_variable_definition
      Cobol_common.Srcloc.TYPES.with_src ->
  log ->
  log

val var_eval : 
  loc:Cobol_common.Srcloc.TYPES.srcloc ->
  var:Cobol_preproc__.Preproc_env.VAR.t ->
  ?def:Cobol_preproc__.Preproc_env.TYPES.var_definition ->
  log ->
  log

val events : log -> log_entry list

val fold : f:(log_entry -> 'a -> 'a) -> log -> 'a -> 'a

Fold in any order