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
  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. | Overload
  45. | Outcome
  46. | Order
  47. | OpId of string
  48. | Op
  49. | Num of Nat_big_num.num
  50. | Nondet
  51. | Newtype
  52. | Mutual
  53. | Monadic
  54. | MinusGt
  55. | Minus
  56. | Match
  57. | Mapping
  58. | LsquareBar
  59. | Lsquare
  60. | Lparen
  61. | Let_
  62. | LcurlyBar
  63. | Lcurly
  64. | InternalReturn
  65. | InternalPLet
  66. | InternalAssume
  67. | Int
  68. | Instantiation
  69. | Inc
  70. | In
  71. | Impl
  72. | If_
  73. | Id of string
  74. | Hex of string
  75. | Function_
  76. | Forwards
  77. | Foreach
  78. | Forall
  79. | Fixity of Parse_ast.fixity_token
  80. | False
  81. | Exmem
  82. | Exit
  83. | Escape
  84. | EqGt of string
  85. | Eq of string
  86. | Eof
  87. | Enum
  88. | End
  89. | Else
  90. | Effect
  91. | Eamem
  92. | DotDot
  93. | Dot
  94. | Doc of string
  95. | Do
  96. | Depend
  97. | Default
  98. | Dec
  99. | Constraint
  100. | Constant
  101. | Configuration
  102. | Comma
  103. | ColonColon
  104. | Colon of string
  105. | Clause
  106. | Catch
  107. | Cast
  108. | Caret
  109. | By
  110. | Bool
  111. | Bitzero
  112. | Bitone
  113. | Bitfield
  114. | Bin of string
  115. | Bidir
  116. | Barr
  117. | Bar
  118. | Backwards
  119. | Attribute of string * string
  120. | At
  121. | Assert
  122. | As
  123. | And
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