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. | SHADOW
  20. | SEMI_COLON
  21. | SECURITY
  22. | RPAREN
  23. | RETURN
  24. | REQUIRE
  25. | REFUSE_TRANSFER
  26. | REF
  27. | RECORD
  28. | RBRACKET
  29. | RBRACE
  30. | RATIONAL of Big_int.big_int * Big_int.big_int
  31. | PREDICATE
  32. | POSTCONDITION
  33. | PLUSEQUAL
  34. | PLUS
  35. | PKEY
  36. | PIPE
  37. | PERCENTRBRACKET
  38. | PERCENT
  39. | PARTITION
  40. | OTHERWISE
  41. | OREQUAL
  42. | OR
  43. | OPTION
  44. | ON
  45. | OF
  46. | NUMBER of Big_int.big_int
  47. | NOT
  48. | NONE
  49. | NEQUAL
  50. | NAMESPACE
  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. | 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. | 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. | AT_UPDATE
  114. | AT_REMOVE
  115. | AT_ADD
  116. | AT
  117. | ASSET
  118. | ASSERT
  119. | ARCHETYPE
  120. | ANDEQUAL
  121. | AND
  122. | ADDRESS of string
  123. | ACTION
  124. | 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