Function z

crates/compile/src/congruence.rs:414–416

()

    Level::param(Name::str(Name::anon(), s.to_string()))
  }
  fn z() -> Level {
    Level::zero()
  }
  fn s(l: Level) -> Level {
    Level::succ(l)
  }