(* Last modified on Mon Oct 28 14:32:16 PST 1991 by muller *) INTERFACE Txt; (* This interface is intended to be used as an actual argument of generic interfaces and modules. It provides both the Elt, Hash and Order shapes based on the type Text.T. *) IMPORT Text; TYPE T = Text.T; CONST Equal = Text.Equal; Compare = Text.Compare; PROCEDURE Copy (t: T): T; PROCEDURE Hash (t: T; lessThan: CARDINAL): CARDINAL; END Txt.