TraceDomain.Sanitizer
type t = MockTrace.Sanitizer.t
val compare : t Base__Ppx_compare_lib.compare
val get : IR.Procname.t -> IR.Tenv.t -> t option
val pp : Absint__Sanitizer.F.formatter -> t -> unit