Trait gluon_check::substitution::Variable

pub trait Variable {
    // Required method
    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

Implementations on Foreign Types

impl Variable for u32

fn get_id(&self) -> u32

impl Variable for TypeVariable

fn get_id(&self) -> u32

Implementors