(*
The strings contains an unreadable message
*)
-exception UniverseInconsistency of string
+exception UniverseInconsistency of string Lazy.t
(*
Cic.Type of universe
(** re-hash-cons a single universe *)
val recons_univ: universe -> universe
- (** consistency chek that should be done before committin the graph to the
+ (** consistency check that should be done before committin the graph to the
* cache *)
val assert_univs_have_uri: universe_graph -> universe list-> unit