Mida.Language.Environment

data MidaEnv m a

runMidaEnv

addDef

remDef

clearDefs

getPrin

getSrc

fullSrc

getRefs

purgeEnv

checkRecur

setRandGen

newRandGen