package archetype

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