package archetype

  1. Overview
  2. Docs
package archetype
Legend:
Library
Module
Module type
Parameter
Class
Class type
type token =
  1. | WITH
  2. | WHEN
  3. | VARIABLE
  4. | VAR
  5. | UTZ of Big_int.big_int
  6. | USE
  7. | UNDERSCORE
  8. | TZ of Big_int.big_int
  9. | TRUE
  10. | TRANSITION
  11. | TRANSFER
  12. | TO
  13. | THEN
  14. | STRING of string
  15. | STATES
  16. | SPECIFICATION
  17. | SORTED
  18. | SOME
  19. | SLASH
  20. | SHADOW
  21. | SEMI_COLON
  22. | SECURITY
  23. | RPAREN
  24. | RETURN
  25. | REQUIRE
  26. | REFUSE_TRANSFER
  27. | REF
  28. | RECORD
  29. | RBRACKET
  30. | RBRACE
  31. | PREDICATE
  32. | POSTCONDITION
  33. | PLUSEQUAL
  34. | PLUS
  35. | PKEY
  36. | PIPE
  37. | PERCENTRBRACKET
  38. | PERCENT
  39. | PARTITION
  40. | OTHERWISE
  41. | OR
  42. | OPTION
  43. | ON
  44. | OF
  45. | NUMBER of Big_int.big_int
  46. | NOT
  47. | NONE
  48. | NEQUAL
  49. | NAMESPACE
  50. | MULTEQUAL
  51. | MULT
  52. | MTZ of Big_int.big_int
  53. | MINUSEQUAL
  54. | MINUS
  55. | MATCH
  56. | LPAREN
  57. | LIST
  58. | LET
  59. | LESSEQUAL
  60. | LESS
  61. | LBRACKETPERCENT
  62. | LBRACKET
  63. | LBRACE
  64. | LABEL
  65. | ITER
  66. | INVARIANT
  67. | INVALID_EXPR
  68. | INVALID_EFFECT
  69. | INVALID_DECL
  70. | INITIALIZED
  71. | INITIAL
  72. | IN
  73. | IMPLY
  74. | IF
  75. | IDENTIFIED
  76. | IDENT of string
  77. | GREATEREQUAL
  78. | GREATER
  79. | FUNCTION
  80. | FROM
  81. | FORALL
  82. | FOR
  83. | FALSE
  84. | FAILIF
  85. | EXTENSION
  86. | EXISTS
  87. | EQUIV
  88. | EQUAL
  89. | EOF
  90. | ENUM
  91. | END
  92. | ELSE
  93. | EFFECT
  94. | DURATION of string
  95. | DOT
  96. | DONE
  97. | DO
  98. | DIVEQUAL
  99. | DIV
  100. | DEFINITION
  101. | DECIMAL of string
  102. | DATE of string
  103. | CONTRACT
  104. | CONSTANT
  105. | COMMA
  106. | COLONEQUAL
  107. | COLON
  108. | COLLECTION
  109. | CALLED
  110. | CALL
  111. | BYTES of string
  112. | BY
  113. | BUT
  114. | BREAK
  115. | BEFORE
  116. | AT_UPDATE
  117. | AT_REMOVE
  118. | AT_ADD
  119. | AT
  120. | ASSET
  121. | ASSERT
  122. | ARCHETYPE
  123. | ANY
  124. | AND
  125. | ADDRESS of string
  126. | ACTION
  127. | 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
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