Pulselib.PulseDecompilerExpr
module AbstractValue = PulseAbstractValue
module CallEvent = PulseCallEvent
type access =
| CaptureFieldAccess of string
| FieldAccess of IR.Fieldname.t
| ArrayAccess of source_expr option
| Dereference
val compare_source_expr : source_expr -> source_expr -> int
val equal_source_expr : source_expr -> source_expr -> bool
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 pp_source_expr : F.formatter -> source_expr -> unit
val includes_captured_variable : t -> bool
val includes_block : t -> bool
val pp_with_abstract_value : Stdlib.Format.formatter -> t -> unit
val abstract_value_of_expr : t -> AbstractValue.t option
val is_unknown : t -> bool
val yojson_of_t : t -> Yojson.Safe.t