UniverseInconsistency
*)
val add_eq:
- ?fast:bool -> universe -> universe -> universe_graph -> universe_graph
+ universe -> universe -> universe_graph -> universe_graph
val add_ge:
- ?fast:bool -> universe -> universe -> universe_graph -> universe_graph
+ universe -> universe -> universe_graph -> universe_graph
val add_gt:
- ?fast:bool -> universe -> universe -> universe_graph -> universe_graph
+ universe -> universe -> universe_graph -> universe_graph
val do_rank: universe_graph -> unit
val get_rank: universe -> int
val compare: universe -> universe -> int
val eq: universe -> universe -> bool
-(*
- Benchmarking stuff
-*)
-val get_spent_time: unit -> float
-val reset_spent_time: unit -> unit
-
val is_anon: universe -> bool