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>