Agda-2.2.10: A dependently typed functional programming language and proof assistant

Agda.TypeChecking.UniversePolymorphism

Documentation

mlevel :: MonadTCM tcm => tcm (Maybe Term)