Stlc.Types

data Type

typeinference

typeinfer

unify

applyctx

emptyctx

incrementindices

variables

normalizeTemplate

applynormalization

data Top

type Context

type Variable

type Substitution