Trait move_model::model::GetNameString
source · [−]pub trait GetNameString {
fn get_name_for_display(&self, env: &GlobalEnv) -> String;
}
pub trait GetNameString {
fn get_name_for_display(&self, env: &GlobalEnv) -> String;
}