package archetype

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