package libsail

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