pub const fn correlative(pos: u8) -> u8
The correlative position the counterparty necessarily holds. If A holds pos toward B over content φ, then B holds correlative(pos) toward A over φ.
pos
correlative(pos)