Checks if a seal event is locked and casts it to the UnlockedSeal type
The presence test is only sound because getSealRumor never writes an undefined RumorSymbol
— see the invariant documented there. If it did, this would narrow a seal that never yielded
a rumor to UnlockedSeal.
Checks if a seal event is locked and casts it to the UnlockedSeal type
The presence test is only sound because getSealRumor never writes an
undefinedRumorSymbol — see the invariant documented there. If it did, this would narrow a seal that never yielded a rumor to UnlockedSeal.