Documentation

inlineDef :: IState -> [([Name], Term, Term)] -> [([Name], Term, Term)]Source

inlineTerm :: IState -> Term -> TermSource