-- 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. ʘJšPÏcQœÏk œ žœžœžœ#žœ#žœž œžœ žœžœÏn œžœ žœ-žœŸœžœ žœ-žœŸœžœ8žœŸœžœžœ-žœžœŸœžœ,žœžœžœžœŸ œžœžœžœžœžœžœ˜ü—…—~F