-- 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.