pub fn iff(l: Option<bool>, r: Option<bool>) -> Option<bool>
Partial operator function corresponding to $x \Leftrightarrow y$.
