AMMiniModel:
CEDAR
DEFINITIONS
= BEGIN OPEN AMTypes, Rope;
GetInterfaceRecord:
PROC[defsName:
ROPE, world: WorldVM.World]
RETURNS[TV];
GetInterfaceRecordFromType:
PROC[type: Type, world: WorldVM.World]
RETURNS[TV];
ImplementorName:
PROC[defsName, itemName:
ROPE, world: WorldVM.World]
RETURNS[ROPE];
GetInterfaceRecordNames:
PROC[world: WorldVM.World]
RETURNS[LIST OF ROPE];
If version = BcdDefs.NullVersion then the local file defsName.bcd will be used (whether or not it corresponds to any interface record in the local world).
AcquireIRType:
PROC[defsName:
ROPE, version: BcdDefs.VersionStamp ← BcdDefs.NullVersion]
RETURNS[type: Type];