Module Frontend.DriverMessage

type output_message =
  1. | NormalizedTerm of {
    1. orig : Core.CodeUnit.Syntax.t;
    2. nf : Core.CodeUnit.Syntax.t;
    }
  2. | Definition of {
    1. ident : Core.Ident.t;
    2. tp : Core.CodeUnit.Syntax.tp;
    3. ptm : (Core.CodeUnit.Syntax.t * Core.CodeUnit.Syntax.t) option;
    }
type warning_message = |
type error_message =
  1. | LexingError
  2. | ParseError
  3. | UnboundIdent of Core.Ident.t
  4. | InvalidLibrary of string
  5. | UnitNotFound of string
type message =
  1. | OutputMessage of output_message
  2. | WarningMessage of warning_message
  3. | ErrorMessage of {
    1. error : error_message;
    2. last_token : string option;
    }
val pp_message : Stdlib.Format.formatter -> message -> unit