-- File CIFExtDictDefs.mesa
-- Written by Dan Fitzpatrick, June 1980
-- Last updated: July 7, 1980 7:55 PM

-- CIF Circuit Extractor Dictionary Routines

CIFExtDictDefs: DEFINITIONS =

BEGIN

InitDictionary: PUBLIC PROCEDURE;

Remember
: PUBLIC PROCEDURE [name: STRING, number: LONG UNSPECIFIED];

KnownName
: PUBLIC PROCEDURE [name: STRING] RETURNS [BOOLEAN];

KnownNumber: PUBLIC PROCEDURE [number: LONG UNSPECIFIED] RETURNS [BOOLEAN];

FindName: PUBLIC PROCEDURE [name: STRING] RETURNS [LONG UNSPECIFIED];

FindNumber: PUBLIC PROCEDURE [number: LONG UNSPECIFIED] RETURNS [STRING];

END.