Method fmt

crates/kernel/src/expr.rs:60–62

(&self, f: &mut fmt::Formatter<'_>)

    },
    IxonUniv::Max(a, b) => {
      hasher.update(&[2]);
      hash_ixon_univ(a, hasher);
      hash_ixon_univ(b, hasher);
    },
    IxonUniv::IMax(a, b) => {
      hasher.update(&[3]);