package catala

  1. Overview
  2. Docs
type token =
  1. | YEAR
  2. | WITH_V
  3. | WITH
  4. | WE_HAVE
  5. | VERTICAL
  6. | VARIES
  7. | UNDER_CONDITION
  8. | TRUE
  9. | THEN
  10. | THAT
  11. | TEXT
  12. | SUM
  13. | SUCH
  14. | STRUCT
  15. | SCOPE
  16. | RULE
  17. | RPAREN
  18. | RBRACKET
  19. | PLUSMONEY
  20. | PLUSDURATION
  21. | PLUSDEC
  22. | PLUSDATE
  23. | PLUS
  24. | PERCENT
  25. | OR
  26. | OPTIONAL
  27. | OF
  28. | NOW
  29. | NOT_EQUAL
  30. | NOT
  31. | MULTMONEY
  32. | MULTDEC
  33. | MULT
  34. | MONTH
  35. | MONEY_AMOUNT of Z.t * Z.t
  36. | MONEY
  37. | MINUSMONEY
  38. | MINUSDURATION
  39. | MINUSDEC
  40. | MINUSDATE
  41. | MINUS
  42. | MATCH
  43. | MASTER_FILE
  44. | LPAREN
  45. | LESSER_MONEY
  46. | LESSER_EQUAL_MONEY
  47. | LESSER_EQUAL_DURATION
  48. | LESSER_EQUAL_DEC
  49. | LESSER_EQUAL_DATE
  50. | LESSER_EQUAL
  51. | LESSER_DURATION
  52. | LESSER_DEC
  53. | LESSER_DATE
  54. | LESSER
  55. | LBRACKET
  56. | LAW_TEXT of string
  57. | LAW_INCLUDE of Ast.law_include
  58. | LAW_HEADING of string * int
  59. | LAW_ARTICLE of string * string option * string option
  60. | LABEL
  61. | INT_LITERAL of Z.t
  62. | INTEGER
  63. | INCREASING
  64. | IN
  65. | IF
  66. | IDENT of string
  67. | GREATER_MONEY
  68. | GREATER_EQUAL_MONEY
  69. | GREATER_EQUAL_DURATION
  70. | GREATER_EQUAL_DEC
  71. | GREATER_EQUAL_DATE
  72. | GREATER_EQUAL
  73. | GREATER_DURATION
  74. | GREATER_DEC
  75. | GREATER_DATE
  76. | GREATER
  77. | FOR
  78. | FIXED
  79. | FILLED
  80. | FALSE
  81. | EXISTS
  82. | EXCEPTION
  83. | EQUAL
  84. | EOF
  85. | ENUM
  86. | END_METADATA
  87. | END_CODE of string
  88. | ELSE
  89. | DURATION
  90. | DOT
  91. | DIVMONEY
  92. | DIVDEC
  93. | DIV
  94. | DEPENDS
  95. | DEFINITION
  96. | DEFINED_AS
  97. | DECREASING
  98. | DECLARATION
  99. | DECIMAL_LITERAL of Z.t * Z.t
  100. | DECIMAL
  101. | DAY
  102. | DATE
  103. | DATA
  104. | CONTEXT
  105. | CONTENT
  106. | CONSTRUCTOR of string
  107. | CONSEQUENCE
  108. | CONDITION
  109. | COLON
  110. | COLLECTION
  111. | CARDINAL
  112. | BY
  113. | BOOLEAN
  114. | BEGIN_METADATA
  115. | BEGIN_CODE
  116. | ASSERTION
  117. | ARROW
  118. | AND
  119. | ALT
  120. | ALL
exception Error
val source_file_or_master : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Ast.source_file_or_master
module MenhirInterpreter : sig ... end
module Incremental : sig ... end
OCaml

Innovation. Community. Security.