Function p

crates/compile/src/congruence.rs:411–413

(s: &str)

  use super::*;
  use ix_common::env::Name;
  fn p(s: &str) -> Level {
    Level::param(Name::str(Name::anon(), s.to_string()))
  }
  fn z() -> Level {
    Level::zero()
  }