Module Instrumentation.SemanticsRuleSource

Sourcetype t =
  1. | ELit
  2. | Call
  3. | ATC
  4. | EExprList
  5. | EExprListM
  6. | ESideEffectFreeExpr
  7. | EVar
  8. | Binop
  9. | BinopAnd
  10. | BinopOr
  11. | BinopImpl
  12. | Unop
  13. | ECondSimple
  14. | ECond
  15. | ESlice
  16. | ECall
  17. | EGetArray
  18. | EGetEnumArray
  19. | ESliceError
  20. | ERecord
  21. | EGetBitField
  22. | EGetBitFields
  23. | EGetTupleItem
  24. | EConcat
  25. | ETuple
  26. | EArray
  27. | EEnumArray
  28. | EArbitrary
  29. | EPattern
  30. | LEDiscard
  31. | LEVar
  32. | LEMultiAssign
  33. | LEUndefIdentV0
  34. | LEUndefIdentV1
  35. | LESlice
  36. | LESetArray
  37. | LESetEnumArray
  38. | LESetField
  39. | LESetFields
  40. | LEDestructuring
  41. | Slices
  42. | Slice
  43. | PAll
  44. | PAny
  45. | PGeq
  46. | PLeq
  47. | PNot
  48. | PRange
  49. | PSingle
  50. | PMask
  51. | PTuple
  52. | LDDiscard
  53. | LDVar
  54. | LDTuple
  55. | SPass
  56. | SAssignCall
  57. | SAssign
  58. | SReturn
  59. | SSeq
  60. | SCall
  61. | SCond
  62. | SCase
  63. | SAssert
  64. | SWhile
  65. | SRepeat
  66. | SFor
  67. | SThrow
  68. | STry
  69. | SDecl
  70. | SPrint
  71. | FUndefIdent
  72. | FPrimitive
  73. | FBadArity
  74. | FCall
  75. | Block
  76. | Loop
  77. | For
  78. | Catch
  79. | CatchNamed
  80. | CatchOtherwise
  81. | CatchNone
  82. | CatchNoThrow
  83. | Spec
  84. | FindCatcher
  85. | RethrowImplicit
  86. | ReadValueFrom
  87. | BuildGlobalEnv
  88. | IsConstraintSat
  89. | AssignArgs
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