Module Pulselib.PulseCallEvent

module F = Stdlib.Format
type t =
  1. | Call of IR.Procname.t
    (*

    known function with summary

    *)
  2. | Model of string
    (*

    hardcoded model with hardcoded name

    *)
  3. | ModelName of IR.Procname.t
    (*

    hardcoded model taking the name of the original procedure

    *)
  4. | SkippedKnownCall of IR.Procname.t
    (*

    known function without summary

    *)
  5. | SkippedUnknownCall of IR.Exp.t
    (*

    couldn't link the expression to a proc name

    *)
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 pp_name_only : with_class:bool -> F.formatter -> t -> unit
val to_name_only : t -> string