Camfort.Analysis.Types

type TypeEnv t

type TypeEnvStack t

typeAnnotations

typeEnv

tenvLookup

buildTypeEnv

eqType

gtypes

lowercase

quicktest

isArrayType

toArrayType

arrayElementType

boundsP

bounds