Type Definition erg_compiler::ty::free::Level

source · [−]
pub type Level = usize;