Module Pulselib.PulseInvalidation
type std_vector_function =
| Assign
| Clear
| Emplace
| EmplaceBack
| Insert
| PushBack
| Reserve
| ShrinkToFit
type map_type =
| FollyF14Value
| FollyF14Vector
| FollyF14Fast
type map_function =
| Clear
| Rehash
| Reserve
| OperatorEqual
| Insert
| InsertOrAssign
| Emplace
| TryEmplace
| TryEmplaceToken
| EmplaceHint
| OperatorBracket
val pp_map_type : F.formatter -> map_type -> unit
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t Base__Ppx_compare_lib.compare
include Ppx_compare_lib.Equal.S with type t := t
val equal : t Base__Ppx_compare_lib.equal
val pp : F.formatter -> t -> unit
val describe : F.formatter -> t -> unit
val suggest : t -> string option
type must_be_valid_reason =
| BlockCall
| InsertionIntoCollectionKey
| InsertionIntoCollectionValue
| SelfOfNonPODReturnMethod of IR.Typ.t
| NullArgumentWhereNonNullExpected of PulseCallEvent.t * int option