package ortac-core

  1. Overview
  2. Docs
module GW = Gospel.Warnings
type level =
  1. | Warning
  2. | Error
type kind = ..
type kind +=
  1. | GospelError of Gospel.Warnings.kind
  2. | Unsupported of string
exception Unkown_kind
val level : kind -> level
exception Error of t
val pp_level : Stdlib.Format.formatter -> level -> unit
val pp_kind : Stdlib.Format.formatter -> kind -> unit
val pp_param : (Stdlib.Format.formatter -> 'a -> unit) -> ('a -> level) -> Stdlib.Format.formatter -> ('a * Ppxlib.location) -> unit
val pp : Stdlib.Format.formatter -> (kind * Ppxlib.location) -> unit
OCaml

Innovation. Community. Security.