Outputs (cobol_preproc.Cobol

include sig ... end

module TYPES : sig ... end

type !'a with_diags = 'a TYPES.with_diags = {

result : 'a;
diags : Cobol_preproc__.Preproc_diagnostics.diagnostics;

}

val result : 
  ?diags:Cobol_preproc__.Preproc_diagnostics.diagnostics ->
  'a ->
  'a with_diags

val simple_result : 'a -> 'a with_diags

val some_result : 
  ?diags:Cobol_preproc__.Preproc_diagnostics.diagnostics ->
  'a ->
  'a option with_diags

val no_result : 
  diags:Cobol_preproc__.Preproc_diagnostics.diagnostics ->
  'a option with_diags

val with_diags : 
  'a ->
  Cobol_preproc__.Preproc_diagnostics.diagnostics ->
  'a with_diags

val with_more_diags : 
  diags:Cobol_preproc__.Preproc_diagnostics.diagnostics ->
  'a with_diags ->
  'a with_diags

val result_only : 'a with_diags -> 'a

val forget_result : 
  'a with_diags ->
  Cobol_preproc__.Preproc_diagnostics.diagnostics

val more_result : f:('a -> 'b with_diags) -> 'a with_diags -> 'b with_diags

val map_result : f:('a -> 'b) -> 'a with_diags -> 'b with_diags

val map2_results : 
  f:('a -> 'b -> 'c with_diags) ->
  'a with_diags ->
  'b with_diags ->
  'c with_diags

val map_some_result : 
  f:('a -> 'b) ->
  'a option with_diags ->
  'b option with_diags

val merge_results : 
  f:('a -> 'b -> 'c) ->
  'a with_diags ->
  'b with_diags ->
  'c with_diags

val cons_option_result : 
  'a option with_diags ->
  'a list with_diags ->
  'a list with_diags

val translate_diags : 'a with_diags -> 'a Cobol_common.Diagnostics.with_diags

val show_n_forget : 
  ?set_status:bool ->
  ?min_level:Cobol_common.Diagnostics.severity ->
  ?ppf:Stdlib.Format.formatter ->
  'a with_diags ->
  'a

val sink_result : 
  ?set_status:bool ->
  ?ppf:Stdlib.Format.formatter ->
  'a with_diags ->
  unit

val of_config_verif : 
  'a Cobol_config.FEATURE.verification_result ->
  'a option with_diags

val error_result : 
  'a ->
  Cobol_preproc__.Preproc_diagnostics.error ->
  'a with_diags