package alt-ergo-lib

  1. Overview
  2. Docs
package alt-ergo-lib
Legend:
Library
Module
Module type
Parameter
Class
Class type
type error =
  1. | BitvExtract of int * int
  2. | BitvExtractRange of int * int
  3. | ClashType of string
  4. | ClashLabel of string * string
  5. | ClashParam of string
  6. | TypeDuplicateVar of string
  7. | UnboundedVar of string
  8. | UnknownType of string
  9. | WrongArity of string * int
  10. | SymbAlreadyDefined of string
  11. | SymbUndefined of string
  12. | NotAPropVar of string
  13. | NotAPredicate of string
  14. | Unification of Ty.t * Ty.t
  15. | ShouldBeApply of string
  16. | WrongNumberofArgs of string
  17. | ShouldHaveType of Ty.t * Ty.t
  18. | ShouldHaveTypeIntorReal of Ty.t
  19. | ShouldHaveTypeInt of Ty.t
  20. | ShouldHaveTypeBitv of Ty.t
  21. | ArrayIndexShouldHaveTypeInt
  22. | ShouldHaveTypeArray
  23. | ShouldHaveTypeRecord of Ty.t
  24. | ShouldBeARecord
  25. | ShouldHaveLabel of string * string
  26. | NoLabelInType of Hstring.t * Ty.t
  27. | ShouldHaveTypeProp
  28. | NoRecordType of Hstring.t
  29. | DuplicateLabel of Hstring.t
  30. | DuplicatePattern of string
  31. | WrongLabel of Hstring.t * Ty.t
  32. | WrongNumberOfLabels
  33. | Notrigger
  34. | CannotGeneralize
  35. | SyntaxError
  36. | ThExtError of string
  37. | ThSemTriggerError
  38. | WrongDeclInTheory
  39. | ShouldBeADT of Ty.t
  40. | MatchNotExhaustive of Hstring.t list
  41. | MatchUnusedCases of Hstring.t list
  42. | NotAdtConstr of string * Ty.t
exception Error of error * Loc.t
exception Lexical_error of Loc.t * string
exception Syntax_error of Loc.t * string
val report : Format.formatter -> error -> unit
val error : error -> Loc.t -> 'a
val warning : error -> Loc.t -> unit
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct