Judgement | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
judgementInteractionId | Agda.TypeChecking.Monad.MetaVars, Agda.TypeChecking.Monad |
judgToOutputForm | Agda.Interaction.BasicOps |
Just | Agda.Utils.Maybe |
JustSort | Agda.Interaction.BasicOps |
JustType | Agda.Interaction.BasicOps |