Trait erg_compiler::ty::free::HasLevel
source · pub trait HasLevel {
// Required methods
fn level(&self) -> Option<Level>;
fn set_level(&self, lev: Level);
// Provided methods
fn set_lower(&self, level: Level) { ... }
fn lift(&self) { ... }
fn lower(&self) { ... }
fn generalize(&self) { ... }
fn is_generalized(&self) -> bool { ... }
}