Trait move_model::model::GetNameString

source · 
pub trait GetNameString {
    // Required method
    fn get_name_for_display(&self, env: &GlobalEnv) -> String;
}

Required Methods§

source

fn get_name_for_display(&self, env: &GlobalEnv) -> String

Implementors§