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 Big_int.big_int
  9. | USE
  10. | UNPACK
  11. | UNMOVED
  12. | UNDERSCORE
  13. | TZ of Big_int.big_int
  14. | TRUE
  15. | TRANSITION
  16. | TRANSFER
  17. | TO
  18. | THEN
  19. | STRING of string
  20. | STATES
  21. | SPECIFICATION
  22. | SORTED
  23. | SOME
  24. | SLASH
  25. | SHADOW
  26. | SET
  27. | SEMI_COLON
  28. | SELF
  29. | SECURITY
  30. | RPAREN
  31. | RETURN
  32. | REQUIRE
  33. | REMOVED
  34. | REFUSE_TRANSFER
  35. | REF
  36. | RECORD
  37. | RBRACKET
  38. | RBRACE
  39. | PREDICATE
  40. | POSTCONDITION
  41. | PLUSEQUAL
  42. | PLUS
  43. | PKEY
  44. | PIPEEQUAL
  45. | PIPE
  46. | PERCENT_LIT of Big_int.big_int
  47. | PERCENTRBRACKET
  48. | PERCENT
  49. | PARTITION
  50. | OTHERWISE
  51. | OR
  52. | OPTION
  53. | ON
  54. | NUMBERNAT of Big_int.big_int
  55. | NUMBERINT of Big_int.big_int
  56. | NOT
  57. | NONE
  58. | NEQUAL
  59. | NAMESPACE
  60. | MULTEQUAL
  61. | MULT
  62. | MTZ of Big_int.big_int
  63. | MINUSEQUAL
  64. | MINUS
  65. | MATCH
  66. | MAP
  67. | LPAREN
  68. | LIST
  69. | LET
  70. | LESSEQUAL
  71. | LESS
  72. | LBRACKETPERCENT
  73. | LBRACKET
  74. | LBRACE
  75. | LABEL
  76. | ITER
  77. | INVARIANT
  78. | INVALID_EXPR
  79. | INVALID_EFFECT
  80. | INVALID_DECL
  81. | INITIALIZED
  82. | INITIAL
  83. | IN
  84. | IMPLY
  85. | IF
  86. | IDENTIFIED
  87. | IDENT of string
  88. | GREATEREQUAL
  89. | GREATER
  90. | GETTER
  91. | FUNCTION
  92. | FROM
  93. | FORALL
  94. | FOR
  95. | FALSE
  96. | FAILS
  97. | FAILIF
  98. | FAIL
  99. | EXTENSION
  100. | EXISTS
  101. | EQUIV
  102. | EQUAL
  103. | EOF
  104. | ENUM
  105. | ENTRYPOINT
  106. | ENTRY
  107. | END
  108. | ELSE
  109. | EFFECT
  110. | DURATION of string
  111. | DOT
  112. | DOREQUIRE
  113. | DONE
  114. | DOFAILIF
  115. | DO
  116. | DIVEQUAL
  117. | DIV
  118. | DEFINITION
  119. | DECIMAL of string
  120. | DATE of string
  121. | CONTRACT
  122. | CONSTANT
  123. | COMMA
  124. | COLONEQUAL
  125. | COLON
  126. | CALLED
  127. | CALL
  128. | BYTES of string
  129. | BY
  130. | BUT
  131. | BEFORE
  132. | AT_UPDATE
  133. | AT_REMOVE
  134. | AT_ADD
  135. | AT
  136. | ASSET
  137. | ASSERT
  138. | ARCHETYPE
  139. | ANY
  140. | AND
  141. | AMPEQUAL
  142. | AGGREGATE
  143. | ADDRESS of string
  144. | ADDED
  145. | ACCEPT_TRANSFER
exception Error
val start_expr : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> ParseTree.expr
val main : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> ParseTree.archetype
module MenhirInterpreter : sig ... end
module Incremental : sig ... end