Function defn_const

crates/kernel/src/claim.rs:113–126

(refs: Vec<Address>)

mod tests {
  use super::*;
  use ix_common::env::DefinitionSafety;
  use ixon::constant::{Axiom, Constant, ConstantInfo, DefKind, Definition};
  use ixon::expr::Expr;
  use ixon::merkle::leaf_hash;
  use std::sync::Arc;

  fn axiom_const(refs: Vec<Address>) -> Constant {
    Constant::with_tables(
      ConstantInfo::Axio(Axiom {
        is_unsafe: false,
        lvls: 0,
        typ: Arc::new(Expr::Sort(0)),
      }),
      Vec::new(),
      refs,
      Vec::new(),
    )