Ticket #45508: patch-kernel-univ.ml.diff

File patch-kernel-univ.ml.diff, 397 bytes (added by pmetzger (Perry E. Metzger), 10 years ago)

patch file to be placed in files/ subdir

  • kernel/univ.ml

    old new  
    226226
    227227
    228228(* 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}          *)
    230230(* between is the most costly operation *)
    231231
    232232let between g arcu arcv =