-- RTMiniModel.Mesa
-- last modified on January 12, 1983 10:28 am by Paul Rovner

DIRECTORY
Rope USING[ROPE],
RTBasic USING[Type, TypedVariable],
WorldVM USING[World, LocalWorld];

RTMiniModel: CEDAR DEFINITIONS
IMPORTS WorldVM

= BEGIN OPEN Rope, RTBasic;

AcquireIRType: PROC[defsName: ROPE, world: WorldVM.World ← LocalWorld[]]
RETURNS[type: Type];

AcquireIRInstance: PROC[defsName: ROPE, world: WorldVM.World ← LocalWorld[]]
RETURNS[TypedVariable];

AcquireIRInstanceFromType: PROC[type: Type, world: WorldVM.World ← LocalWorld[]]
RETURNS[TypedVariable];

ImplementorName: PROC[defsName, itemName: ROPE, world: WorldVM.World ← LocalWorld[]]
RETURNS[ROPE];

GetLoadstateDefsNames: PROC[world: WorldVM.World ← LocalWorld[]]
RETURNS[LIST OF ATOM];

LocalWorld: PROC RETURNS[WorldVM.World] =
TRUSTED INLINE{RETURN[WorldVM.LocalWorld[]]};

END.