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 de Bruijn variables >= cutoff by d positions. Follows TAPL §6.2.1.

func Subst

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

Subst substitutes s for variable j in t, adjusting indices. Follows TAPL §6.2.2.