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

termSize

mkVec

appendToVec

extractElems

extractTElems

mkRTree

isSignalType

tyNatSize