Documentation

generateTerm :: Function f => [LHS f] -> Gen (Term f) Source #

generateGoalTerm :: Function f => [Term f] -> [Rule f] -> Gen (Term f, Reduction1 f) Source #

permuteVars :: Term f -> Gen (Term f) Source #