This mapping tracks how many open channel requests are initiated by a given sender para. Invariant: HrmpOpenChannelRequests should contain the same number of items that has (X, _) as the number of HrmpOpenChannelRequestCount for X.
HrmpOpenChannelRequests
(X, _)
HrmpOpenChannelRequestCount
X
This mapping tracks how many open channel requests are initiated by a given sender para. Invariant:
HrmpOpenChannelRequestsshould contain the same number of items that has(X, _)as the number ofHrmpOpenChannelRequestCountforX.