package gospel

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