package archetype

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