Data.Comp.Multi.Variables

class HasVars f v

type GSubst v a

type CxtSubst h a f v

type Subst f v

varsToHoles

containsVar

variables

variableList

variables'

appSubst

compSubst

getBoundVars

(&)

(|->)

empty