_context | Language.Lambda.SystemF.State, Language.Lambda.SystemF |
_expr | Language.Lambda.SystemF.Expression, Language.Lambda.SystemF |
_globals | Language.Lambda.SystemF.State, Language.Lambda.SystemF |
_ty | Language.Lambda.SystemF.Expression, Language.Lambda.SystemF |
_tyUniques | Language.Lambda.SystemF.State, Language.Lambda.SystemF |
_varUniques | Language.Lambda.SystemF.State, Language.Lambda.SystemF |