Struct TypeContext

pub struct TypeContext {
    pub tyvars: HashMap<Expr, u32>,
    pub tymap: HashMap<u32, Type>,
    pub tyvals: HashMap<u32, i128>,
    pub bv_unknown_width_sets: HashMap<u32, u32>,
}

Fields

tyvars: HashMap<Expr, u32>

tymap: HashMap<u32, Type>

tyvals: HashMap<u32, i128>

bv_unknown_width_sets: HashMap<u32, u32>

Trait Implementations

impl Clone for TypeContext

fn clone(&self) -> TypeContext

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TypeContext

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

Formats the value using the given formatter.

impl PartialEq for TypeContext

fn eq(&self, other: &TypeContext) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for TypeContext

impl StructuralPartialEq for TypeContext