Module TraceDomain.Sanitizer
type t= MockTrace.Sanitizer.t
val compare : t -> t -> intval get : IR.Procname.t -> IR.Tenv.t -> t optionval pp : Absint.Sanitizer.F.formatter -> t -> unit
TraceDomain.Sanitizertype t = MockTrace.Sanitizer.tval compare : t -> t -> intval get : IR.Procname.t -> IR.Tenv.t -> t optionval pp : Absint.Sanitizer.F.formatter -> t -> unit