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. | QUESTIONEQUAL
  49. | QUESTIONDOT
  50. | QUESTIONCOLONEQUAL
  51. | QUESTION
  52. | PREDICATE
  53. | POSTCONDITION
  54. | PLUSEQUAL
  55. | PLUS
  56. | PIPE_GREATER_GREATER
  57. | PIPEEQUAL
  58. | PIPE
  59. | PIDENT of string
  60. | PERCENT_LIT of string
  61. | PERCENTRBRACKET
  62. | PERCENT
  63. | PARTITION
  64. | OTHERWISE
  65. | OR
  66. | OPTION
  67. | ON
  68. | NUMBERNAT of Big_int.big_int
  69. | NUMBERINT of Big_int.big_int
  70. | NO_TRANSFER
  71. | NOT
  72. | NONE
  73. | NEQUAL
  74. | NAMESPACE
  75. | MULTEQUAL
  76. | MULT
  77. | MTZ of string
  78. | MINUSEQUAL
  79. | MINUS
  80. | MATCH
  81. | MAP
  82. | MAKE_SET
  83. | MAKE_MAP
  84. | MAKE_LIST
  85. | MAKE_BIG_MAP
  86. | LPAREN
  87. | LIST
  88. | LET
  89. | LESS_LESS_PIPE
  90. | LESS_EQUAL_GREATER
  91. | LESSEQUAL
  92. | LESS
  93. | LEFT
  94. | LBRACKETPERCENT
  95. | LBRACKET
  96. | LBRACE
  97. | LAMBDA
  98. | LABEL
  99. | ITERABLE_BIG_MAP
  100. | ITER
  101. | INVARIANT
  102. | INVALID_EXPR
  103. | INVALID_EFFECT
  104. | INVALID_DECL
  105. | INITIALIZED
  106. | INITIAL
  107. | IN
  108. | IMPLY
  109. | IF
  110. | IDENTIFIED
  111. | IDENT of string
  112. | GREATEREQUAL
  113. | GREATER
  114. | GET_ENTRYPOINT
  115. | GETTER
  116. | FUNCTION
  117. | FROM
  118. | FORALL
  119. | FOR
  120. | FOLD
  121. | FALSE
  122. | FAIL_IF
  123. | FAILSOME
  124. | FAILS
  125. | FAIL
  126. | EXTENSION
  127. | EXISTS
  128. | EVENT
  129. | EQUIV
  130. | EQUAL
  131. | EOF
  132. | ENUM
  133. | ENTRY
  134. | END
  135. | EMIT
  136. | ELSE
  137. | EFFECT
  138. | DURATION of string
  139. | DO_REQUIRE
  140. | DO_FAIL_IF
  141. | DOT
  142. | DONE
  143. | DO
  144. | DIVEQUAL
  145. | DIV
  146. | DEFINITION
  147. | DECIMAL of string
  148. | DATE of string
  149. | CONTRACT
  150. | CONSTANT
  151. | CONST
  152. | COMMA
  153. | COLONEQUAL
  154. | COLONCOLON
  155. | COLON
  156. | CALL_VIEW
  157. | CALLED
  158. | CALL
  159. | BYTES of string
  160. | BY
  161. | BUT
  162. | BIG_MAP
  163. | BEGIN
  164. | BEFORE
  165. | AT
  166. | ASSET_VIEW
  167. | ASSET_VALUE
  168. | ASSET_KEY
  169. | ASSET
  170. | ASSERT
  171. | AS
  172. | ARCHETYPE
  173. | ANY
  174. | AND
  175. | AMPEQUAL
  176. | AGGREGATE
  177. | ADDRESS_TO_CONTRACT
  178. | ADDRESS of string
  179. | ADDED
  180. | 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