Function gluon_check::unify_type::instantiation
source · pub fn instantiation<'a>(
env: &'a (dyn TypeEnv<Type = RcType> + 'a),
f: &mut dyn FnMut(&Symbol, &RcType),
l: &RcType,
r: &RcType
)
pub fn instantiation<'a>(
env: &'a (dyn TypeEnv<Type = RcType> + 'a),
f: &mut dyn FnMut(&Symbol, &RcType),
l: &RcType,
r: &RcType
)