Trait gluon_check::substitution::Variable

pub trait Variable {
    fn get_id(&self) -> u32;
}

Trait which variables need to implement to allow the substitution to get to the u32 identifying the variable

Required methods

fn get_id(&self) -> u32

Loading content...

Implementations on Foreign Types

impl Variable for u32

fn get_id(&self) -> u32

impl Variable for TypeVariable

fn get_id(&self) -> u32

Loading content...

Implementors

Loading content...