Module Cobol_common.Types

include module type of Diagnostics.TYPES
type severity =
  1. | Hint
  2. | Note
  3. | Info
  4. | Warn
  5. | Error
type 'a in_result = ('a * diagnostic option, diagnostic option) Stdlib.result
type 'a with_diags = 'a Diagnostics.TYPES.with_diags = {
  1. result : 'a;
  2. diags : diagnostics;
}
include module type of Srcloc.TYPES
type lexloc = Stdlib.Lexing.position * Stdlib.Lexing.position
type srcloc = Srcloc.TYPES.srcloc
type copylocs = Srcloc.TYPES.copylocs
type 'a with_loc = 'a Srcloc.TYPES.with_loc = {
  1. payload : 'a;
  2. loc : srcloc;
}
val compare_with_loc : ('a -> 'a -> Ppx_deriving_runtime.int) -> 'a with_loc -> 'a with_loc -> Ppx_deriving_runtime.int