recordTrace

open fun recordTrace(trace: OpTrace)(source)

Record a high-level OpTrace into this tape (used by TapeSink).