CicTypeChecker.type_of_aux' [] [] c univ
with CicTypeChecker.TypeCheckerFailure s as exn ->
debug_print (lazy (sprintf "Generated composite coercion:\n%s\n%s"
CicTypeChecker.type_of_aux' [] [] c univ
with CicTypeChecker.TypeCheckerFailure s as exn ->
debug_print (lazy (sprintf "Generated composite coercion:\n%s\n%s"