Module Errors.Type_l

This module contains the type of errors linked to types in lambda-terms.

type t =
  1. | AlreadyDefinedVar of string
  2. | NotDefinedVar of string
  3. | NotDefinedConst of string
  4. | NotWellTypedTerm of string * string
  5. | NotWellTypedTermPlus of string * string * string
  6. | NotWellKindedType of string
  7. | NonLinearVar of string
  8. | LinearVar of string
  9. | IsUsed of string * string
  10. | TwoOccurrencesOfLinearVariable of UtilsLib.Error.pos
  11. | NonEmptyContext of string * UtilsLib.Error.pos * UtilsLib.Error.pos * string
  12. | NotNormal
  13. | VacuousAbstraction of string * UtilsLib.Error.pos
  14. | Other
val kind : string
val pp : Stdlib.Format.formatter -> t -> unit