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. | THEOREM
  14. | THEN
  15. | STRING of string
  16. | STATES
  17. | SPECIFICATION
  18. | SORTED
  19. | SOME
  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. | RATIONAL of Big_int.big_int * Big_int.big_int
  32. | PREDICATE
  33. | POSTCONDITION
  34. | PLUSEQUAL
  35. | PLUS
  36. | PKEY
  37. | PIPE
  38. | PERCENTRBRACKET
  39. | PERCENT
  40. | PARTITION
  41. | OTHERWISE
  42. | OREQUAL
  43. | OR
  44. | OPTION
  45. | ON
  46. | OF
  47. | NUMBER of Big_int.big_int
  48. | NOT
  49. | NONE
  50. | NEQUAL
  51. | NAMESPACE
  52. | MULTEQUAL
  53. | MULT
  54. | MTZ of Big_int.big_int
  55. | MINUSEQUAL
  56. | MINUS
  57. | MATCH
  58. | LPAREN
  59. | LET
  60. | LESSEQUAL
  61. | LESS
  62. | LEMMA
  63. | LBRACKETPERCENT
  64. | LBRACKET
  65. | LBRACE
  66. | LABEL
  67. | ITER
  68. | INVARIANT
  69. | INVALID_EXPR
  70. | INVALID_EFFECT
  71. | INVALID_DECL
  72. | INITIALIZED
  73. | INITIAL
  74. | IN
  75. | IMPLY
  76. | IF
  77. | IDENTIFIED
  78. | IDENT of string
  79. | GREATEREQUAL
  80. | GREATER
  81. | FUNCTION
  82. | FROM
  83. | FORALL
  84. | FOR
  85. | FALSE
  86. | FAILIF
  87. | EXTENSION
  88. | EXISTS
  89. | EQUIV
  90. | EQUAL
  91. | EOF
  92. | ENUM
  93. | END
  94. | ELSE
  95. | EFFECT
  96. | DURATION of string
  97. | DOT
  98. | DONE
  99. | DO
  100. | DIVEQUAL
  101. | DIV
  102. | DEFINITION
  103. | DATE of string
  104. | CONTRACT
  105. | CONSTANT
  106. | COMMA
  107. | COLONEQUAL
  108. | COLON
  109. | COLLECTION
  110. | CALLED
  111. | BY
  112. | BUT
  113. | BREAK
  114. | BEFORE
  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 : (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