DEFINITION MODULE Showcase12Lib;
(* Step-8.2/8.3 showcase helper. Exports Point (used by the program
   through the qualified type name Showcase12Lib.Point) and Score,
   whose formal is ARRAY OF CHAR so 1-character string literals such
   as "A" coerce to it. *)

TYPE
  Point = RECORD
    x, y : INTEGER;
  END;

PROCEDURE Score (s : ARRAY OF CHAR) : INTEGER;
(* "A" -> 2, "B" -> 3, anything else -> 0. *)

END Showcase12Lib.