MakeStateful (cobol_common.Cobol_common.Diagnostics.MakeStateful)

Parameters

module H : sig ... end

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

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

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

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

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

val error : ?tags:tag list -> ?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