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_ENTRYPOINT
  44. | REQUIRE
  45. | REMOVED
  46. | REFUSE_TRANSFER
  47. | REF
  48. | RECORD
  49. | RBRACKET
  50. | RBRACE
  51. | PREDICATE
  52. | POSTCONDITION
  53. | PLUSEQUAL
  54. | PLUS
  55. | PKEY
  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. | NOT
  71. | NONE
  72. | NEQUAL
  73. | NAMESPACE
  74. | MULTEQUAL
  75. | MULT
  76. | MTZ of string
  77. | MINUSEQUAL
  78. | MINUS
  79. | MATCH
  80. | MAP
  81. | LPAREN
  82. | LIST
  83. | LET
  84. | LESS_LESS_PIPE
  85. | LESS_EQUAL_GREATER
  86. | LESSEQUAL
  87. | LESS
  88. | LEFT
  89. | LBRACKETPERCENT
  90. | LBRACKET
  91. | LBRACE
  92. | LAMBDA
  93. | LABEL
  94. | ITER
  95. | INVARIANT
  96. | INVALID_EXPR
  97. | INVALID_EFFECT
  98. | INVALID_DECL
  99. | INITIALIZED
  100. | INITIAL
  101. | IN
  102. | IMPLY
  103. | IF
  104. | IDENTIFIED
  105. | IDENT of string
  106. | GREATEREQUAL
  107. | GREATER
  108. | GETTER
  109. | FUNCTION
  110. | FROM
  111. | FORALL
  112. | FOR
  113. | FOLD
  114. | FALSE
  115. | FAILS
  116. | FAILIF
  117. | FAIL
  118. | EXTENSION
  119. | EXISTS
  120. | EQUIV
  121. | EQUAL
  122. | EOF
  123. | ENUM
  124. | ENTRYPOINT
  125. | ENTRY
  126. | END
  127. | ELSE
  128. | EFFECT
  129. | DURATION of string
  130. | DOT
  131. | DOREQUIRE
  132. | DONE
  133. | DOFAILIF
  134. | DO
  135. | DIVEQUAL
  136. | DIV
  137. | DEFINITION
  138. | DECIMAL of string
  139. | DATE of string
  140. | CONTRACT
  141. | CONSTANT
  142. | CONST
  143. | COMMA
  144. | COLONEQUAL
  145. | COLONCOLON
  146. | COLON
  147. | CALLED
  148. | CALL
  149. | BYTES of string
  150. | BY
  151. | BUT
  152. | BIG_MAP
  153. | BEGIN
  154. | BEFORE
  155. | AT_UPDATE
  156. | AT_REMOVE
  157. | AT_ADD
  158. | AT
  159. | ASSET
  160. | ASSERT
  161. | AS
  162. | ARCHETYPE
  163. | ANY
  164. | AND
  165. | AMPEQUAL
  166. | AGGREGATE
  167. | ADDRESS of string
  168. | ADDED
  169. | 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