local  open Lambda Smlprim Globals Asynt Tr_envin val trConVar : ConInfo -> Lambda;val trTopDynExConVar : ExConInfo -> Lambda -> Lambda;val trPrimVar : SMLPrim -> Lambda;val coerceMod : Lambda -> Mod -> Mod -> Lambda;val coerceStr : Lambda -> Str -> Str -> Lambda;val coerceRecStr : Lambda -> RecStr -> RecStr -> Lambda;val coerceFun : Lambda -> GenFun -> GenFun -> Lambda; val translateToplevelDec: Dec -> RenEnv * (bool * Lambda) list; end;