PulseBaseMemory.AddrTrace
type t
= PulseBasicInterface.AbstractValue.t * PulseBasicInterface.ValueHistory.t