package gospel

  1. Overview
  2. Docs
type token =
  1. | WITH
  2. | WHEN
  3. | VARIANT
  4. | UNDERSCORE
  5. | UIDENT of string
  6. | TRUE
  7. | TILDE
  8. | THEN
  9. | STRING of string
  10. | STAR
  11. | SEMICOLON
  12. | RIGHTSQ
  13. | RIGHTPAR
  14. | RIGHTBRC
  15. | REQUIRES
  16. | REC
  17. | RAISES
  18. | QUOTE_LIDENT of string
  19. | QUESTION
  20. | PURE
  21. | PREDICATE
  22. | OR
  23. | OPPREF of string
  24. | OP4 of string
  25. | OP3 of string
  26. | OP2 of string
  27. | OP1 of string
  28. | OLD
  29. | NOT
  30. | MUTABLE
  31. | MODIFIES
  32. | MODEL
  33. | MATCH
  34. | LTGT
  35. | LRARROW
  36. | LIDENT of string
  37. | LET
  38. | LEFTSQRIGHTSQ
  39. | LEFTSQ
  40. | LEFTPAR
  41. | LEFTBRCRIGHTBRC
  42. | LEFTBRCCOLON
  43. | LEFTBRC
  44. | INVARIANT
  45. | INTEGER of string * char option
  46. | IN
  47. | IF
  48. | FUNCTION
  49. | FUN
  50. | FORALL
  51. | FLOAT of string
  52. | FALSE
  53. | EXISTS
  54. | EQUIVALENT
  55. | EQUAL
  56. | EPHEMERAL
  57. | EOF
  58. | ENSURES
  59. | ELSE
  60. | DOTDOT
  61. | DOT
  62. | DIVERGES
  63. | CONSUMES
  64. | COMMA
  65. | COLONRIGHTBRC
  66. | COLONCOLON
  67. | COLON
  68. | COERCION
  69. | CHECKS
  70. | CHAR of char
  71. | BARBAR
  72. | BAR
  73. | BACKQUOTE_LIDENT of string
  74. | AXIOM
  75. | ATTRIBUTE of string
  76. | AS
  77. | ARROW
  78. | AND
  79. | AMPAMP
exception Error
val val_spec : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Uast.val_spec
val type_spec : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Uast.type_spec
val func_spec : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Uast.fun_spec
val func : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Uast.function_
val axiom : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Uast.axiom