Function equality_by_bytes

crates/ixon/src/lazy.rs:342–348

()

    Constant::new(ConstantInfo::Axio(Axiom {
      is_unsafe: false,
      lvls: 0,
      typ: Expr::sort(0),
    }))
  }

  fn defn_constant() -> Constant {
    Constant::new(ConstantInfo::Defn(Definition {
      kind: DefKind::Definition,
      safety: DefinitionSafety::Safe,
      lvls: 1,