package herdtools7

  1. Overview
  2. Docs
package herdtools7
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t =
  1. | BuiltinSingularType
  2. | BuiltinAggregateType
  3. | BuiltinSingularOrAggregate
  4. | NamedType
  5. | AnonymousType
  6. | SingularType
  7. | AggregateType
  8. | NonPrimitiveType
  9. | PrimitiveType
  10. | Structure
  11. | Canonical
  12. | Domain
  13. | Subtype
  14. | StructuralSubtypeSatisfaction
  15. | DomainSubtypeSatisfaction
  16. | SubtypeSatisfaction
  17. | TypeSatisfaction
  18. | TypeClash
  19. | LowestCommonAncestor
  20. | CheckUnop
  21. | CheckBinop
  22. | ELit
  23. | CTC
  24. | ELocalVarConstant
  25. | ELocalVar
  26. | EGlobalVarConstantVal
  27. | EGlobalVarConstantNoVal
  28. | EGlobalVar
  29. | EUndefIdent
  30. | Binop
  31. | Unop
  32. | ECondSimple
  33. | ECond
  34. | ESlice
  35. | ECall
  36. | EGetArray
  37. | ESliceOrEGetArrayError
  38. | ERecord
  39. | EStructuredMissingField
  40. | EStructuredNotStructured
  41. | EGetRecordField
  42. | EGetBitField
  43. | EGetBadField
  44. | EGetBadBitField
  45. | EGetBadRecordField
  46. | EGetBitFieldNested
  47. | EGetBitFieldTyped
  48. | EGetBitFields
  49. | EConcatEmpty
  50. | EConcat
  51. | ETuple
  52. | EUnknown
  53. | EPattern
  54. | LEDiscard
  55. | LELocalVar
  56. | LEGlobalVar
  57. | LEUndefIdentV0
  58. | LEUndefIdentV1
  59. | LEDestructuring
  60. | LESlice
  61. | LESetArray
  62. | LESetBadStructuredField
  63. | LESetStructuredField
  64. | LESetBadBitField
  65. | LESetBitField
  66. | LESetBitFieldNested
  67. | LESetBitFieldTyped
  68. | LESetBadField
  69. | LESetFields
  70. | LEConcat
  71. | SliceSingle
  72. | SliceLength
  73. | SliceRange
  74. | SliceStar
  75. | PAll
  76. | PAny
  77. | PGeq
  78. | PLeq
  79. | PNot
  80. | PRange
  81. | PSingle
  82. | PMask
  83. | PTupleBadArity
  84. | PTuple
  85. | PTupleConflict
  86. | LDDiscard
  87. | LDVar
  88. | LDTyped
  89. | LDTuple
  90. | LDUninitialisedVar
  91. | LDUninitialisedTyped
  92. | LDUninitialisedTuple
  93. | SPass
  94. | SAssignCall
  95. | SAssignTuple
  96. | SAssign
  97. | SReturnOne
  98. | SReturnSome
  99. | SReturnNone
  100. | SSeq
  101. | SCall
  102. | SCond
  103. | SCase
  104. | SAssert
  105. | SWhile
  106. | SRepeat
  107. | SFor
  108. | SThrowNone
  109. | SThrowSomeTyped
  110. | SThrowSome
  111. | STry
  112. | SDeclSome
  113. | SDeclNone
  114. | SDebug
  115. | FUndefIdent
  116. | FPrimitive
  117. | FBadArity
  118. | FCallBadArity
  119. | FCallSetter
  120. | FCallGetter
  121. | FCallMismatch
  122. | Block
  123. | Loop
  124. | For
  125. | CatcherNone
  126. | CatcherSome
  127. | Subprogram
  128. | DeclareOneFunc
  129. | DeclareGlobalStorage
  130. | DeclareTypeDecl
  131. | Specification
  132. | TString
  133. | TReal
  134. | TBool
  135. | TNamed
  136. | TInt
  137. | TBits
  138. | TTuple
  139. | TArray
  140. | TEnumDecl
  141. | TRecordExceptionDecl
  142. | TNonDecl
  143. | TBitField
val to_string : t -> string
val pp : Format.formatter -> t -> unit
val all : t list
val all_nb : int
val index : t -> int
val of_string : string -> t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct