MakeStateful (cobol_common.Cobol_common.Diagnostics.MakeStateful)

Parameters

module H : sig ... end

val diag : 
  Cobol_common__.Diagnostics_sigs.severity ->
  ?loc:Srcloc.srcloc ->
  _ Pretty.proc

val hint : ?loc:Srcloc.srcloc -> _ Pretty.proc

val note : ?loc:Srcloc.srcloc -> _ Pretty.proc

val info : ?loc:Srcloc.srcloc -> _ Pretty.proc

val warn : ?loc:Srcloc.srcloc -> _ Pretty.proc

val error : ?loc:Srcloc.srcloc -> _ Pretty.proc

val blind : t -> unit

val add_all : diagnostics -> unit

val grab_diags : 'a with_diags -> 'a

val inspect : reset:bool -> diagnostics