LambdaCube.Compiler.Infer

data Binder

type SName

data Lit

data Visibility

data Exp

data Neutral

type ExpType

type GlobalEnv

app_

unFunc_

outputType

boolType

trueExp

down

class Subst b a

free

subst

initEnv

data Env

data SI

data Range

data Info

type Infos

listAllInfos

listTypeInfos

listTraceInfos

inference

type IM m

nType

conType

neutType

neutType'

appTy

mkConPars

makeCaseFunPars

makeCaseFunPars'

data MaxDB

unfixlabel

data ErrorMsg

showError

errorRange

data FName