Agda.TypeChecking.Empty

isEmptyType

isEmptyTypeC