Module Cobol_common.Types

include module type of Diagnostics.TYPES
type severity =
  1. | Hint
  2. | Note
  3. | Info
  4. | Warn
  5. | Error
type tag = Diagnostics.TYPES.tag =
  1. | Unused
  2. | Deprecated
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
val pp_with_loc : (Ppx_deriving_runtime.Format.formatter -> 'a -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'a with_loc -> Ppx_deriving_runtime.unit
val show_with_loc : (Ppx_deriving_runtime.Format.formatter -> 'a -> Ppx_deriving_runtime.unit) -> 'a with_loc -> Ppx_deriving_runtime.string
type platform = Platform.TYPES.platform