Diagnostics.Contval kdiag :
Cobol_common__.Diagnostics_sigs.severity ->
(t -> _) ->
?tags:tag list ->
?loc:Srcloc.srcloc ->
(_, _) Pretty.funcval khint :
(t -> _) ->
?tags:tag list ->
?loc:Srcloc.srcloc ->
(_, _) Pretty.funcval knote :
(t -> _) ->
?tags:tag list ->
?loc:Srcloc.srcloc ->
(_, _) Pretty.funcval kinfo :
(t -> _) ->
?tags:tag list ->
?loc:Srcloc.srcloc ->
(_, _) Pretty.funcval kwarn :
(t -> _) ->
?tags:tag list ->
?loc:Srcloc.srcloc ->
(_, _) Pretty.funcval kerror :
(t -> _) ->
?tags:tag list ->
?loc:Srcloc.srcloc ->
(_, _) Pretty.func