<<>> <> <> <> <<>> DIRECTORY MesaLoadState USING [Program], Rope USING [ROPE]; MesaLoadStateQuery: CEDAR DEFINITIONS ~ BEGIN ProgramListFromName: PROC[ name: Rope.ROPE, optionalList: LIST OF MesaLoadState.Program ¬ NIL] RETURNS[LIST OF MesaLoadState.Program]; <> <> <> <<>> <> <<>> <> END.