XDR: ReplayCacheHeightCount heights<kReplayCacheNoncesMaxLen> — max kReplayCacheNoncesMaxLen elements.
ReplayCacheHeightCount heights<kReplayCacheNoncesMaxLen>
XDR:
ReplayCacheHeightCount heights<kReplayCacheNoncesMaxLen>— max kReplayCacheNoncesMaxLen elements.