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. | PIPE
  35. | PERCENTRBRACKET
  36. | PERCENT
  37. | PARTITION
  38. | OTHERWISE
  39. | OREQUAL
  40. | OR
  41. | OPTION
  42. | ON
  43. | OF
  44. | NUMBER of Big_int.big_int
  45. | NOT
  46. | NONE
  47. | NEQUAL
  48. | NAMESPACE
  49. | MULTEQUAL
  50. | MULT
  51. | MTZ of Big_int.big_int
  52. | MINUSEQUAL
  53. | MINUS
  54. | MATCH
  55. | LPAREN
  56. | LET
  57. | LESSEQUAL
  58. | LESS
  59. | LEMMA
  60. | LBRACKETPERCENT
  61. | LBRACKET
  62. | LBRACE
  63. | LABEL
  64. | ITER
  65. | INVARIANT
  66. | INVALID_EXPR
  67. | INVALID_EFFECT
  68. | INVALID_DECL
  69. | INSTANCE
  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. | DATE of string
  102. | CONTRACT
  103. | CONSTANT
  104. | COMMA
  105. | COLONEQUAL
  106. | COLON
  107. | COLLECTION
  108. | CALLED
  109. | BY
  110. | BUT
  111. | BREAK
  112. | BEFORE
  113. | BACK
  114. | AT_UPDATE
  115. | AT_REMOVE
  116. | AT_ADD
  117. | AT
  118. | ASSET
  119. | ASSERT
  120. | ARCHETYPE
  121. | ANDEQUAL
  122. | AND
  123. | ADDRESS of string
  124. | ACTION
  125. | 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