package archetype

  1. Overview
  2. Docs
type token =
  1. | WITH
  2. | WHEN
  3. | VARIABLE
  4. | UNDERSCORE
  5. | TZ of Big_int.big_int
  6. | TRUE
  7. | TRANSITION
  8. | TRANSFER
  9. | TO
  10. | THEOREM
  11. | THEN
  12. | STRING of string
  13. | STATES
  14. | SPECIFICATION
  15. | SORTED
  16. | SOME
  17. | SEMI_COLON
  18. | SECURITY
  19. | RPAREN
  20. | RETURN
  21. | REQUIRE
  22. | REFUSE_TRANSFER
  23. | REF
  24. | RECORD
  25. | RBRACKET
  26. | RBRACE
  27. | RATIONAL of Big_int.big_int * Big_int.big_int
  28. | PREDICATE
  29. | POSTCONDITION
  30. | PLUSEQUAL
  31. | PLUS
  32. | PIPE
  33. | PERCENTRBRACKET
  34. | PERCENT
  35. | PARTITION
  36. | OTHERWISE
  37. | OREQUAL
  38. | OR
  39. | OPTION
  40. | ON
  41. | OF
  42. | NUMBER of Big_int.big_int
  43. | NOT
  44. | NONE
  45. | NEQUAL
  46. | NAMESPACE
  47. | MULTEQUAL
  48. | MULT
  49. | MTZ of Big_int.big_int
  50. | MINUSEQUAL
  51. | MINUS
  52. | MATCH
  53. | LPAREN
  54. | LET
  55. | LESSEQUAL
  56. | LESS
  57. | LEMMA
  58. | LBRACKETPERCENT
  59. | LBRACKET
  60. | LBRACE
  61. | ITER
  62. | INVARIANT
  63. | INVALID_EXPR
  64. | INVALID_EFFECT
  65. | INVALID_DECL
  66. | INSTANCE
  67. | INITIALIZED
  68. | INITIAL
  69. | IN
  70. | IMPLY
  71. | IF
  72. | IDENTIFIED
  73. | IDENT of string
  74. | GREATEREQUAL
  75. | GREATER
  76. | FUNCTION
  77. | FROM
  78. | FORALL
  79. | FOR
  80. | FALSE
  81. | FAILIF
  82. | EXTENSION
  83. | EXISTS
  84. | EQUIV
  85. | EQUAL
  86. | EOF
  87. | ENUM
  88. | END
  89. | ELSE
  90. | EFFECT
  91. | DURATION of string
  92. | DOT
  93. | DIVEQUAL
  94. | DIV
  95. | DEFINITION
  96. | DATE of string
  97. | CONTRACT
  98. | CONSTANT
  99. | COMMA
  100. | COLONEQUAL
  101. | COLONCOLON
  102. | COLON
  103. | COLLECTION
  104. | CALLED
  105. | BY
  106. | BUT
  107. | BREAK
  108. | BACK
  109. | AT_UPDATE
  110. | AT_REMOVE
  111. | AT_ADD
  112. | AT
  113. | ASSET
  114. | ASSERT
  115. | ARCHETYPE
  116. | ANDEQUAL
  117. | AND
  118. | ADDRESS of string
  119. | ACTION
  120. | ACCEPT_TRANSFER
exception Error
val start_expr : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> ParseTree.expr
module MenhirInterpreter : sig ... end
module Incremental : sig ... end
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