-- RTMiniModel.Mesa
-- last modified on May 27, 1982 12:51 pm by Paul Rovner

DIRECTORY
    Rope USING[ROPE],
    RTBasic USING[Type, TypedVariable];

RTMiniModel: CEDAR DEFINITIONS
 = BEGIN OPEN Rope, RTBasic;

AcquireIRType: PROC[defsName: ROPE] RETURNS[type: Type];

AcquireIRInstance: PROC[defsName: ROPE] RETURNS[TypedVariable];

ImplementorName: PROC[defsName, itemName: ROPE] RETURNS[ROPE];

GetLoadstateDefsNames: PROC RETURNS[LIST OF ATOM];

END.