Struct move_model::model::NamedConstantEnv

pub struct NamedConstantEnv<'env> {
    pub module_env: ModuleEnv<'env>,
    /* private fields */
}

Fields

module_env: ModuleEnv<'env>

Reference to enclosing module.

Implementations

impl<'env> NamedConstantEnv<'env>

pub fn get_name(&self) -> Symbol

Returns the name of this constant

pub fn get_id(&self) -> NamedConstantId

Returns the id of this constant

pub fn get_doc(&self) -> &str

Returns documentation associated with this constant

pub fn get_loc(&self) -> Loc

Returns the location of this constant

pub fn get_type(&self) -> Type

Returns the type of the constant

pub fn get_value(&self) -> Value

Returns the value of this constant

Trait Implementations

impl<'env> Debug for NamedConstantEnv<'env>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.