Searched refs:definitelyInhabitedType (Results 1 – 1 of 1) sorted by relevance
1237 let definitely_inhabited = definitelyInhabitedType (delta_ty_st amb_cs)1299 definitelyInhabitedType :: TyState -> Type -> DsM Bool1300 definitelyInhabitedType ty_st ty = do function