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. | ApplyUnopType
  21. | ApplyBinopTypes
  22. | ELit
  23. | ATC
  24. | EVar
  25. | Binop
  26. | Unop
  27. | ECondSimple
  28. | ECond
  29. | ESlice
  30. | ECall
  31. | ESetter
  32. | EGetArray
  33. | ESliceError
  34. | ERecord
  35. | EGetRecordField
  36. | EGetBitField
  37. | EGetBadField
  38. | EGetBadBitField
  39. | EGetBadRecordField
  40. | EGetBitFieldNested
  41. | EGetBitFieldTyped
  42. | EGetTupleItem
  43. | EGetFields
  44. | EConcat
  45. | ETuple
  46. | EArbitrary
  47. | EPattern
  48. | LEDiscard
  49. | LEVar
  50. | LEUndefIdentV0
  51. | LEUndefIdentV1
  52. | LEDestructuring
  53. | LESlice
  54. | LESetArray
  55. | LESetStructuredField
  56. | LESetBadBitField
  57. | LESetBitField
  58. | LESetBadField
  59. | LESetFields
  60. | LEConcat
  61. | Slice
  62. | PAll
  63. | PAny
  64. | PGeq
  65. | PLeq
  66. | PNot
  67. | PRange
  68. | PSingle
  69. | PMask
  70. | PTuple
  71. | LDDiscard
  72. | LDVar
  73. | LDTuple
  74. | LDUninitialisedVar
  75. | LDUninitialisedTyped
  76. | SPass
  77. | SAssignCall
  78. | SAssign
  79. | SReturn
  80. | SSeq
  81. | SCall
  82. | SCond
  83. | SCase
  84. | SAssert
  85. | SWhile
  86. | SRepeat
  87. | SFor
  88. | SThrow
  89. | STry
  90. | SDecl
  91. | SPrint
  92. | SPragma
  93. | FUndefIdent
  94. | FPrimitive
  95. | FBadArity
  96. | FindCheckDeduce
  97. | AnnotateCall
  98. | AnnotateCallArgTyped
  99. | Block
  100. | Loop
  101. | For
  102. | Catcher
  103. | Subprogram
  104. | DeclareOneFunc
  105. | DeclareGlobalStorage
  106. | DeclareTypeDecl
  107. | Specification
  108. | TString
  109. | TReal
  110. | TBool
  111. | TNamed
  112. | TInt
  113. | TBits
  114. | TTuple
  115. | TArray
  116. | TEnumDecl
  117. | TStructuredDecl
  118. | TNonDecl
  119. | TBitField
  120. | TBitFields
  121. | ReduceSlicesToCall
  122. | TypeOfArrayLength
  123. | TypecheckDecl
  124. | CheckGlobalPragma
  125. | AnnotateAndDeclareFunc
  126. | AnnotateFuncSig
  127. | CheckSetterHasGetter
  128. | AddNewFunc
  129. | SubprogramForName
  130. | HasArgClash
  131. | GetUndeclaredDefining
  132. | AnnotateOneParam
  133. | AnnotateParams
  134. | ArgsAsParams
  135. | AnnotateArgs
  136. | StaticEval
  137. | ReduceConstants
  138. | Normalize
  139. | RenameTyEqs
  140. | TypeCheckMutuallyRec
  141. | DeclareSubprograms
  142. | AnnotateLimitExpr
  143. | CheckATC
  144. | CheckSlicesInWidth
  145. | DisjointSlicesToPositions
  146. | BitfieldSliceToPositions
  147. | CheckPositionsInWidth
  148. | ShouldReduceToCall
  149. | IsSymbolicallyEvaluable
  150. | CheckSymbolicallyEvaluable
  151. | ShouldRememberImmutableExpression
  152. | AddImmutableExpression
  153. | SymIntSetSubset
  154. | SymDomIsSubset
  155. | ApproxConstraint
  156. | ApproxConstraints
  157. | LEBitSlice
  158. | AddLocalImmutableExpr
  159. | AddGlobalImmutableExpr
  160. | DeclareConst
  161. | AddGlobalStorage
  162. | LookupConstant
  163. | TypeOf
  164. | LookupImmutableExpr
  165. | WithEmptyLocal
  166. | IsGlobalUndefined
  167. | IsLocalUndefined
  168. | IsUndefined
  169. | IsSubprogram
  170. | CheckVarNotInEnv
  171. | CheckVarNotInGEnv
  172. | CheckDisjointSlices
  173. | ControlFlowFromStmt
  174. | AnnotateConstraintBinop
  175. | ConstraintBinop
  176. | ConstraintMod
  177. | ConstraintPow
  178. | ApplyBinopExtremities
  179. | PossibleExtremitiesLeft
  180. | PossibleExtremitiesRight
  181. | ControlFlowSeq
  182. | ControlFlowJoin
  183. | CheckCommonBitfieldsAlign
  184. | AnnotateFieldInit
  185. | AnnotateGetArray
  186. | AnnotateSetArray
  187. | GetBitvectorWidth
  188. | GetBitvectorConstWidth
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