//PRI.round: max of parent rounds
//PRI.isRoot: true if round is taken from a Root
public async Task <ParentRoundInfo> ParentRound(string x)
{
var(c, ok) = ParentRoundCache.Get(x);
if (ok)
{
return(c);
}
var pr = await ParentRoundInternal(x);
ParentRoundCache.Add(x, pr);
return(pr);
}
//PRI.round: max of parent rounds
//PRI.isRoot: true if round is taken from a Root
public ParentRoundInfo ParentRound(string x)
{
var(c, ok) = ParentRoundCache.Get(x);
if (ok)
{
return(c);
}
var pr = ParentRoundInternal(x);
ParentRoundCache.Add(x, pr);
return(pr);
}