package sail

  1. Overview
  2. Docs
type token =
  1. | Wreg
  2. | Wmvt
  3. | Wmv
  4. | Wmem
  5. | With
  6. | While
  7. | Var
  8. | Val
  9. | Until
  10. | Unspec
  11. | Unit of string
  12. | Union
  13. | Under
  14. | Undefined
  15. | Undef
  16. | Typedef
  17. | TyVar of string
  18. | TwoCaret
  19. | Try
  20. | True
  21. | TildeTilde of string
  22. | Throw
  23. | Then
  24. | TerminationMeasure
  25. | TYPE
  26. | Struct
  27. | String of string
  28. | Star of string
  29. | Sizeof
  30. | Semi
  31. | Scattered
  32. | RsquareBar
  33. | Rsquare
  34. | Rreg
  35. | Rparen
  36. | Rmemt
  37. | Rmem
  38. | Return
  39. | Repeat
  40. | Register
  41. | Ref
  42. | Real of string
  43. | RcurlyBar
  44. | Rcurly
  45. | Pure
  46. | Pragma of string * string
  47. | Plus of string
  48. | Overload
  49. | Order
  50. | Op9r of string
  51. | Op9l of string
  52. | Op9 of string
  53. | Op8r of string
  54. | Op8l of string
  55. | Op8 of string
  56. | Op7r of string
  57. | Op7l of string
  58. | Op7 of string
  59. | Op6r of string
  60. | Op6l of string
  61. | Op6 of string
  62. | Op5r of string
  63. | Op5l of string
  64. | Op5 of string
  65. | Op4r of string
  66. | Op4l of string
  67. | Op4 of string
  68. | Op3r of string
  69. | Op3l of string
  70. | Op3 of string
  71. | Op2r of string
  72. | Op2l of string
  73. | Op2 of string
  74. | Op1r of string
  75. | Op1l of string
  76. | Op1 of string
  77. | Op0r of string
  78. | Op0l of string
  79. | Op0 of string
  80. | Op
  81. | Num of Nat_big_num.num
  82. | Nondet
  83. | Newtype
  84. | Mutual
  85. | MinusGt
  86. | Minus
  87. | Match
  88. | Mapping
  89. | LtMinus
  90. | LtEq of string
  91. | Lt of string
  92. | LsquareBar
  93. | Lsquare
  94. | Lparen
  95. | Let_
  96. | LcurlyBar
  97. | Lcurly
  98. | InternalReturn
  99. | InternalPLet
  100. | Int
  101. | Inc
  102. | In
  103. | If_
  104. | Id of string
  105. | Hex of string
  106. | GtEq of string
  107. | Gt of string
  108. | Function_
  109. | Foreach
  110. | Forall
  111. | Fixity of Parse_ast.fixity_token
  112. | False
  113. | Exmem
  114. | Exit
  115. | ExclEq of string
  116. | Escape
  117. | EqGt of string
  118. | EqEq of string
  119. | Eq of string
  120. | Eof
  121. | Enum
  122. | End
  123. | Else
  124. | Effect
  125. | Eamem
  126. | DotDot
  127. | Dot
  128. | Doc of string
  129. | Do
  130. | Depend
  131. | Default
  132. | Dec
  133. | Constraint
  134. | Constant
  135. | Configuration
  136. | Comma
  137. | ColonColon of string
  138. | Colon of string
  139. | Clause
  140. | Catch
  141. | Cast
  142. | Caret of string
  143. | By
  144. | Bool
  145. | Bitzero
  146. | Bitone
  147. | Bitfield
  148. | Bin of string
  149. | Bidir
  150. | Barr
  151. | Bar
  152. | At of string
  153. | Assert
  154. | As
  155. | And
  156. | Amp of string
exception Error
val typschm_eof : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Parse_ast.typschm
val typ_eof : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Parse_ast.atyp
val file : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Parse_ast.def list
val exp_eof : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Parse_ast.exp
val def_eof : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Parse_ast.def
OCaml

Innovation. Community. Security.