subst

Documentation

Index

• func Shift(d, cutoff int, t ast.Term) ast.Term
• func Subst(j int, s ast.Term, t ast.Term) ast.Term

Functions

func Shift

func Shift(d, cutoff int, t ast.Term) ast.Term

Shift shifts all free variables >= cutoff by d. Follows TAPL §6.2.1.

func Subst

func Subst(j int, s ast.Term, t ast.Term) ast.Term

Subst substitutes s for Var(j) in t, adjusting indices. Follows TAPL §6.2.4.