Agda.TypeChecking.Empty

isReallyEmptyType

isEmptyType