Module Instrumentation.TypingRuleSource

Sourcetype 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
Sourceval to_string : t -> string
Sourceval pp : Format.formatter -> t -> unit
Sourceval all : t list
Sourceval all_nb : int
Sourceval index : t -> int
Sourceval of_string : string -> t