debug_print (sprintf "PRUNED!!!\nterm%s\nmessage:%s"
(CicPp.ppterm term) msg);
Ko,ugraph
- | CicUnification.UnificationFailure s ->
- prerr_endline ("PASSADI QUI: " ^ s);
- raise ( CicUnification.UnificationFailure s )
let resolve (env: environment) (item: domain_item) ?(num = "") ?(args = []) () =
try