INTERFACE NPut; (* Procedures for writing named parameters, "NAME = VALUE". *) IMPORT Wr; PROCEDURE NameEq(wr: Wr.T; name: TEXT); (* Writes the "name" followed by "\" = \"". *) (* The procedures below will write the given "name" followed by "\" = \"" and the formatted value. *) PROCEDURE Char(wr: Wr.T; name: TEXT; x: CHAR); PROCEDURE Bool(wr: Wr.T; name: TEXT; x: BOOLEAN); PROCEDURE Int(wr: Wr.T; name: TEXT; x: INTEGER); PROCEDURE Real(wr: Wr.T; name: TEXT; x: REAL); PROCEDURE LongReal(wr: Wr.T; name: TEXT; x: LONGREAL); END NPut.