products/Sources/formale Sprachen/JAVA/openjdk-20-36_src/src/hotspot/share/oops/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: Subsume.sml   Sprache: Shell

rahmenlose Ansicht.sml DruckansichtScala {Scala[93] Latech[113] Isabelle[126]}zum Wurzelverzeichnis wechseln

(* ========================================================================= *)
(* ORDERED TYPES                                                             *)
(* Copyright (c) 2004 Joe Leslie-Hurd, distributed under the BSD License     *)
(* ========================================================================= *)

structure IntOrdered =
struct type t = int val compare = Int.compare end;

structure IntPairOrdered =
struct

type t = int * int;

fun compare ((i1,j1),(i2,j2)) =
    case Int.compare (i1,i2) of
      LESS => LESS
    | EQUAL => Int.compare (j1,j2)
    | GREATER => GREATER;

end;

structure StringOrdered =
struct type t = string val compare = String.compare end;

[ Verzeichnis aufwärts0.86unsichere Verbindung  ]