- Erased -> "-- [?] Erased due to term being propositionally irrelevant.\n"
- | OutsideTheory -> "-- [?] Erased due to image of term under extraction residing outside Fω.\n"
- | Failure msg -> "-- [!] FAILURE: " ^ msg ^ "\n"
+ Erased -> "-- [?] " ^ NUri.name_of_uri uri ^ " erased due to term being propositionally irrelevant.\n"
+ | OutsideTheory -> "-- [?] " ^ NUri.name_of_uri uri ^ " erased due to image of term under extraction residing outside Fω.\n"
+ | Failure msg -> "-- [?] " ^ NUri.name_of_uri uri ^ " FAILURE: " ^ msg ^ "\n"