Exec_block (cobol_common.Cobol_common.Exec

module TYPES : sig ... end

include module type of TYPES
  with type exec_block = TYPES.exec_block
   and type diagnostic = TYPES.diagnostic

type exec_block = TYPES.exec_block = ..

type diagnostic = TYPES.diagnostic = ..

type t = exec_block

val register_exec_block_type : 
  name:string ->
  compare:(t -> t -> int option) ->
  pp:(t -> Pretty.delayed option) ->
  unit

val compare : t -> t -> int

val pp : t Pretty.printer

val register_diagnostic_type : 
  name:string ->
  severity:(diagnostic -> Diagnostics.severity option) ->
  loc:(diagnostic -> Srcloc.srcloc option) ->
  pp:(diagnostic -> Pretty.delayed option) ->
  unit

val diagnostic_severity : diagnostic -> Diagnostics.severity

val diagnostic_loc : diagnostic -> Srcloc.srcloc option

val pp_diagnostic : diagnostic Pretty.printer