MAL.add (recons_univ universe) (recons_entry entry) map)
graph MAL.empty
-let assert_univs_have_uri graph =
- let assert_univ u =
+let assert_univ u =
match u with
| (_,None) -> raise (UniverseInconsistency "This universe graph has a hole")
| _ -> ()
- in
+
+let assert_univs_have_uri graph =
let assert_set s =
SOF.iter (fun u -> assert_univ u) s
in