package libsail

  1. Overview
  2. Docs
package libsail
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Libsail.ParserSource

Sourcetype token =
  1. | With
  2. | While
  3. | When
  4. | Var
  5. | Val
  6. | Until
  7. | Unit of string
  8. | Union
  9. | Under
  10. | Undefined
  11. | Typedef
  12. | TyVar of string
  13. | TwoCaret
  14. | Try
  15. | True
  16. | To
  17. | Throw
  18. | Then
  19. | TerminationMeasure
  20. | TYPE
  21. | StructuredPragma of string
  22. | Struct
  23. | String of string
  24. | Star
  25. | Sizeof
  26. | Semi
  27. | Scattered
  28. | RsquareBar
  29. | Rsquare
  30. | Rparen
  31. | Return
  32. | Repeat
  33. | Register
  34. | Ref
  35. | Real of string
  36. | RcurlyBar
  37. | Rcurly
  38. | Pure
  39. | Private
  40. | Pragma of string * string
  41. | Overload
  42. | Outcome
  43. | OpId of string
  44. | Op
  45. | ORDER
  46. | Num of Nat_big_num.num
  47. | Newtype
  48. | NAT
  49. | Mutual
  50. | MultilineString of string list
  51. | Monadic
  52. | MinusGt
  53. | Minus
  54. | Match
  55. | Mapping
  56. | LsquareBar
  57. | Lsquare
  58. | Lparen
  59. | Let_
  60. | LcurlyBar
  61. | Lcurly
  62. | InternalReturn
  63. | InternalPLet
  64. | InternalAssume
  65. | Instantiation
  66. | Inc
  67. | In
  68. | Impure
  69. | Impl
  70. | If_
  71. | Id of string
  72. | INT
  73. | Hex of string
  74. | Function_
  75. | From
  76. | Forwards
  77. | Foreach
  78. | Forall
  79. | Fixity of Parse_ast.fixity_token
  80. | False
  81. | Exit
  82. | EqGt of string
  83. | Eq of string
  84. | Eof
  85. | Enum
  86. | End
  87. | Else
  88. | Effect
  89. | Downto
  90. | DotDot
  91. | Dot
  92. | DocLine of string
  93. | DocBlock of string
  94. | Do
  95. | Default
  96. | Dec
  97. | Constraint
  98. | Constant
  99. | Configuration
  100. | Config
  101. | Comma
  102. | ColonColon
  103. | Colon of string
  104. | Clause
  105. | Catch
  106. | Cast
  107. | Caret
  108. | By
  109. | Bitzero
  110. | Bitone
  111. | Bitfield
  112. | Bin of string
  113. | Bidir
  114. | Bar
  115. | Backwards
  116. | BOOL
  117. | Attribute of string
  118. | At
  119. | Assert
  120. | As
  121. | And
Sourceexception Error