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
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