public override IResExp Substitute(Substitution subst) { var newExp = _exp == null ? null : _exp.Substitute(subst); return(new ResBreakExp( this.Range, subst.Lookup(_label), newExp)); }
public override IResExp Substitute(Substitution subst) { return(subst.Lookup(_varDecl, this.Range)); }
public IResTypeExp Substitute(Substitution subst) { return(subst.Lookup(_varDecl, _range)); }