Ticket #45508: patch-kernel-univ.ml.diff
File patch-kernel-univ.ml.diff, 397 bytes (added by pmetzger (Perry E. Metzger), 10 years ago) |
---|
-
kernel/univ.ml
old new 226 226 227 227 228 228 (* between : UniverseLevel.t -> canonical_arc -> canonical_arc list *) 229 (* between u v = { w|u<=w<=v, w canonical} *)229 (* between u v = { w | u<=w<=v, w canonical} *) 230 230 (* between is the most costly operation *) 231 231 232 232 let between g arcu arcv =