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. | MAKE_ASSET
  88. | LPAREN
  89. | LIST
  90. | LET
  91. | LESS_LESS_PIPE
  92. | LESS_EQUAL_GREATER
  93. | LESSEQUAL
  94. | LESS
  95. | LEFT
  96. | LBRACKETPERCENT
  97. | LBRACKET
  98. | LBRACE
  99. | LAMBDA
  100. | LABEL
  101. | ITERABLE_BIG_MAP
  102. | ITER
  103. | IS
  104. | INVARIANT
  105. | INVALID_EXPR
  106. | INVALID_EFFECT
  107. | INVALID_DECL
  108. | INITIALIZED
  109. | INITIAL
  110. | IN
  111. | IMPLY
  112. | IF
  113. | IDENTIFIED
  114. | IDENT of string
  115. | GREATEREQUAL
  116. | GREATER
  117. | GET_ENTRYPOINT
  118. | GETTER
  119. | FUNCTION
  120. | FROM
  121. | FORALL
  122. | FOR
  123. | FOLD
  124. | FALSE
  125. | FAIL_IF
  126. | FAILSOME
  127. | FAILS
  128. | FAIL
  129. | EXTENSION
  130. | EXISTS
  131. | EVENT
  132. | EQUIV
  133. | EQUAL
  134. | EOF
  135. | ENUM
  136. | ENTRY
  137. | END
  138. | EMIT
  139. | ELSE
  140. | EFFECT
  141. | DURATION of string
  142. | DO_REQUIRE
  143. | DO_FAIL_IF
  144. | DOT
  145. | DONE
  146. | DO
  147. | DIVEQUAL
  148. | DIV
  149. | DEFINITION
  150. | DECIMAL of string
  151. | DATE of string
  152. | CONTRACT
  153. | CONSTANT
  154. | CONST
  155. | COMMA
  156. | COLONEQUAL
  157. | COLONCOLON
  158. | COLON
  159. | CALL_VIEW
  160. | CALLED
  161. | CALL
  162. | BYTES of string
  163. | BY
  164. | BUT
  165. | BIG_MAP
  166. | BEGIN
  167. | BEFORE
  168. | AT
  169. | ASSET_VIEW
  170. | ASSET_VALUE
  171. | ASSET_KEY
  172. | ASSET_CONTAINER
  173. | ASSET
  174. | ASSERT
  175. | AS
  176. | ARCHETYPE
  177. | ANY
  178. | AND
  179. | AMPEQUAL
  180. | AGGREGATE
  181. | ADDRESS_TO_CONTRACT
  182. | ADDRESS of string
  183. | ADDED
  184. | 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