<<>> <> <> <> <> <<>> DIRECTORY MesaLoadState, SafeStorage USING [Type]; MesaLoadStateBackdoor: CEDAR DEFINITIONS ~ BEGIN OPEN MesaLoadState; UnmonitoredEnumerateInterfaces: PROC[config: Config, proc: InterfaceProc]; <> UnmonitoredTypeStringFromType: PROC[type: SafeStorage.Type] RETURNS[typeString: STRING]; <> UnmonitoredFindTypeFromTypeString: PROC[typeString: STRING] RETURNS[found: BOOL, type: SafeStorage.Type]; <> END.