package archetype

  1. Overview
  2. Docs
package archetype
Legend:
Library
Module
Module type
Parameter
Class
Class type
type token =
  1. | XOR
  2. | WITH_METADATA
  3. | WITH
  4. | WHILE
  5. | WHEN
  6. | VIEW
  7. | VARIABLE
  8. | VAR
  9. | UTZ of string
  10. | USE
  11. | UNPACK
  12. | UNMOVED
  13. | UNIT
  14. | UNDERSCORE
  15. | TZ of string
  16. | TYPE
  17. | TRUE
  18. | TRANSITION
  19. | TRANSFER
  20. | TO
  21. | TICKET
  22. | THEN
  23. | STRING_EXT of string
  24. | STRING of string
  25. | STATE_IS
  26. | STATES
  27. | SPECIFICATION
  28. | SOURCED
  29. | SORTED
  30. | SOME
  31. | SLASHPERCENT
  32. | SLASH
  33. | SHADOW
  34. | SET
  35. | SEMI_COLON
  36. | SELF
  37. | SECURITY
  38. | SAPLING_TRANSACTION
  39. | SAPLING_STATE
  40. | RPAREN
  41. | RIGHT
  42. | RETURN
  43. | REQUIRE
  44. | REMOVED
  45. | RECORD
  46. | RBRACKET
  47. | RBRACE
  48. | QUESTIONIS
  49. | QUESTIONEQUAL
  50. | QUESTIONDOT
  51. | QUESTIONCOLONEQUAL
  52. | QUESTION
  53. | PREDICATE
  54. | POSTCONDITION
  55. | PLUSEQUAL
  56. | PLUS
  57. | PIPE_GREATER_GREATER
  58. | PIPEEQUAL
  59. | PIPE
  60. | PIDENT of string
  61. | PERCENT_LIT of string
  62. | PERCENTRBRACKET
  63. | PERCENT
  64. | PARTITION
  65. | OTHERWISE
  66. | OR
  67. | OPTION
  68. | ON
  69. | NUMBERNAT of Big_int.big_int
  70. | NUMBERINT of Big_int.big_int
  71. | NO_TRANSFER
  72. | NOT
  73. | NONE
  74. | NEQUAL
  75. | NAMESPACE
  76. | MULTEQUAL
  77. | MULT
  78. | MTZ of string
  79. | MINUSEQUAL
  80. | MINUS
  81. | MATCH
  82. | MAP
  83. | MAKE_SET
  84. | MAKE_MAP
  85. | MAKE_LIST
  86. | MAKE_BIG_MAP
  87. | LPAREN
  88. | LIST
  89. | LET
  90. | LESS_LESS_PIPE
  91. | LESS_EQUAL_GREATER
  92. | LESSEQUAL
  93. | LESS
  94. | LEFT
  95. | LBRACKETPERCENT
  96. | LBRACKET
  97. | LBRACE
  98. | LAMBDA
  99. | LABEL
  100. | ITERABLE_BIG_MAP
  101. | ITER
  102. | IS
  103. | INVARIANT
  104. | INVALID_EXPR
  105. | INVALID_EFFECT
  106. | INVALID_DECL
  107. | INITIALIZED
  108. | INITIAL
  109. | IN
  110. | IMPLY
  111. | IF
  112. | IDENTIFIED
  113. | IDENT of string
  114. | GREATEREQUAL
  115. | GREATER
  116. | GET_ENTRYPOINT
  117. | GETTER
  118. | FUNCTION
  119. | FROM
  120. | FORALL
  121. | FOR
  122. | FOLD
  123. | FALSE
  124. | FAIL_IF
  125. | FAILSOME
  126. | FAILS
  127. | FAIL
  128. | EXTENSION
  129. | EXISTS
  130. | EVENT
  131. | EQUIV
  132. | EQUAL
  133. | EOF
  134. | ENUM
  135. | ENTRY
  136. | END
  137. | EMIT
  138. | ELSE
  139. | EFFECT
  140. | DURATION of string
  141. | DO_REQUIRE
  142. | DO_FAIL_IF
  143. | DOT
  144. | DONE
  145. | DO
  146. | DIVEQUAL
  147. | DIV
  148. | DEFINITION
  149. | DECIMAL of string
  150. | DATE of string
  151. | CONTRACT
  152. | CONSTANT
  153. | CONST
  154. | COMMA
  155. | COLONEQUAL
  156. | COLONCOLON
  157. | COLON
  158. | CALL_VIEW
  159. | CALLED
  160. | CALL
  161. | BYTES of string
  162. | BY
  163. | BUT
  164. | BIG_MAP
  165. | BEGIN
  166. | BEFORE
  167. | AT
  168. | ASSET_VIEW
  169. | ASSET_VALUE
  170. | ASSET_KEY
  171. | ASSET
  172. | ASSERT
  173. | AS
  174. | ARCHETYPE
  175. | ANY
  176. | AND
  177. | AMPEQUAL
  178. | AGGREGATE
  179. | ADDRESS_TO_CONTRACT
  180. | ADDRESS of string
  181. | ADDED
  182. | 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