Data.Comp.Variables

class HasVars f v

type Subst f v

type CxtSubst h a f v

varsToHoles

containsVar

variables

variableList

variables'

substVars

appSubst

compSubst

getBoundVars

(&)

(|->)

empty