CLaSH.Core.Util

type Gamma

type Delta

termType

collectArgs

collectBndrs

applyTypeToArgs

patIds

mkTyVar

mkId

mkAbstraction

mkTyLams

mkLams

mkApps

mkTmApps

mkTyApps

isFun

isPolyFun

isLam

isLet

isVar

isCon

isPrim

idToVar

varToId