Function n

crates/compile/src/mutual.rs:199–201

(s: &str)

  use ix_common::env::{ConstantVal, Level};

  fn n(s: &str) -> Name {
    Name::str(Name::anon(), s.to_string())
  }

  fn sort0() -> Expr {
    Expr::sort(Level::zero())