Struct gluon_check::unify_type::State

pub struct State<'a> { /* fields omitted */ }

Methods

impl<'a> State<'a>

fn new(env: &'a (TypeEnv + 'a), subs: &'a Substitution<ArcType>) -> State<'a>

Trait Implementations

impl<'a> Clone for State<'a>

fn clone(&self) -> State<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Fresh for State<'a>

fn fresh(&self) -> Self