Trait moore_svlog::ty::TypeContext

pub trait TypeContext<'a> {
    fn intern_packed(&self, ty: PackedType<'a>) -> &'a PackedType<'a>;
    fn intern_unpacked(&self, ty: UnpackedType<'a>) -> &'a UnpackedType<'a>;
}

A container for type operations.

Required methods

fn intern_packed(&self, ty: PackedType<'a>) -> &'a PackedType<'a>

Internalize a packed type.

fn intern_unpacked(&self, ty: UnpackedType<'a>) -> &'a UnpackedType<'a>

Internalize an unpacked type.

Implementors

impl<'a, T> TypeContext<'a> for T where
    T: HasTypeStorage<'a>,