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. | Monadic
  51. | MinusGt
  52. | Minus
  53. | Match
  54. | Mapping
  55. | LsquareBar
  56. | Lsquare
  57. | Lparen
  58. | Let_
  59. | LcurlyBar
  60. | Lcurly
  61. | InternalReturn
  62. | InternalPLet
  63. | InternalAssume
  64. | Instantiation
  65. | Inc
  66. | In
  67. | Impure
  68. | Impl
  69. | If_
  70. | Id of string
  71. | INT
  72. | Hex of string
  73. | Function_
  74. | From
  75. | Forwards
  76. | Foreach
  77. | Forall
  78. | Fixity of Parse_ast.fixity_token
  79. | False
  80. | Exit
  81. | EqGt of string
  82. | Eq of string
  83. | Eof
  84. | Enum
  85. | End
  86. | Else
  87. | Effect
  88. | Downto
  89. | DotDot
  90. | Dot
  91. | DocLine of string
  92. | DocBlock of string
  93. | Do
  94. | Default
  95. | Dec
  96. | Constraint
  97. | Constant
  98. | Configuration
  99. | Config
  100. | Comma
  101. | ColonColon
  102. | Colon of string
  103. | Clause
  104. | Catch
  105. | Cast
  106. | Caret
  107. | By
  108. | Bitzero
  109. | Bitone
  110. | Bitfield
  111. | Bin of string
  112. | Bidir
  113. | Bar
  114. | Backwards
  115. | BOOL
  116. | Attribute of string
  117. | At
  118. | Assert
  119. | As
  120. | And
Sourceexception Error