-- CrossSL.model, 12-Jan-83 15:58:55 PST
OPEN @TrinityPilot.model!2586712235;
KernelFile: TYPE~@KernelFile.bcd;
ProcessorFace: TYPE~@ProcessorFace.bcd;
Strings: TYPE~@LongStrings.Mesa!2579451954[LongString];
System: TYPE~@System.bcd;
CrossSL: PROC [DirectoryImpl: Directory,
	ExecImpl: Exec,
	ExecOpsImpl: ExecOps,
	FileImpl: File,
	FileStreamImpl: FileStream,
	HeapImpl: Heap,
	InlineImpl: Inline,
	KernelFileImpl: KernelFile,
	LongStringImpl: LongString,
	ProcessorFaceImpl: ProcessorFace,
	RuntimeImpl: Runtime,
	SpaceImpl: Space,
	StreamImpl: Stream,
	StringsImpl: Strings,
	TimeImpl: Time,
	TransactionImpl: Transaction,
	TTYImpl: TTY]
RETURNS [] [
CharIO: TYPE~@CharIO.mesa!2585844909[Format, Stream, Strings];
CommandUtil: TYPE~@CommandUtil.mesa!2585845958[ExecOps, Stream, 
      Strings];
Table: TYPE~@Table.mesa!2577115106;
Alloc: TYPE~@Alloc.mesa!2585849506;
BcdDefs: TYPE~@tempBcdDefs.mesa!2582065272[PrincOps, Table, 
      TimeStamp];
BcdOps: TYPE~@BcdOps.mesa!2563405009[BcdDefs];
Symbols: TYPE~@Symbols.mesa!2591895789[PrincOps, Table, TimeStamp];
Literals: TYPE~@Literals.mesa!2591823743[Symbols, Table];
Tree: TYPE~@Tree.mesa!2591824100[Table, Literals, Symbols];
SymbolSegment: TYPE~@SymbolSegment.mesa!2591823663[Literals, 
      Symbols, Table, TimeStamp, Tree];
SymbolOps: TYPE~@SymbolOps.mesa!2591827562[Alloc, Strings, Symbols, 
      TimeStamp, Tree];
SymbolTable: TYPE~@SymbolTable.mesa!2568557625[FileSegment, 
      SymbolPack];
FileSegment: TYPE~@FileSegment.mesa!2550689766[File];
FileParms: TYPE~@FileParms.mesa!2563230620[FileSegment, Strings, 
      TimeStamp];
OSMiscOps: TYPE~@OSMiscOps.mesa!2585846758[Environment, File, 
      Strings, TimeStamp];
OSMiscOpsImpl: OSMiscOps~@OSMiscOpsImpl.mesa!2585847230[DCSFileTypes, 
            Directory, File, Inline, KernelFile, OSMiscOps, 
            ProcessorFace, Runtime, Space, Time, TimeStamp, 
            "-b-cj-ns", DirectoryImpl, InlineImpl, KernelFileImpl, 
            ProcessorFaceImpl, RuntimeImpl, SpaceImpl, TimeImpl];
CharIOImpl: CharIO~@CharIOImpl.mesa!2585845746[CharIO, Stream, 
            Strings, "-b-cj-ns", StringsImpl, StreamImpl];
CommandUtilImpl: CommandUtil~@CommandPack.mesa!2585846832[CommandUtil, 
            Heap, Stream, Strings, "-b-cj-ns", HeapImpl, StreamImpl, 
            StringsImpl];
LET [SymbolPack: TYPE, SymbolPackImpl: SymbolPack, SymbolOpsImpl: SymbolOps] ~ @SymbolPack.mesa!2591827548[
      Inline, Literals, Strings, Symbols, SymbolOps, SymbolSegment, 
      TimeStamp, Tree, "-b-cj-ns", InlineImpl, StringsImpl];
SymbolTableImpl: SymbolTable~@SymbolCache.mesa!2591914617[Environment, 
            File, FileSegment, Heap, Space, Symbols, SymbolPack, 
            SymbolSegment, SymbolTable, "-b-cj-ns", SymbolPackImpl, 
            FileImpl, HeapImpl, SpaceImpl];
ListerUtil: TYPE~@ListerUtil.mesa!2599055087[BcdDefs, BcdOps, 
      FileSegment, Space, Stream, Strings, Symbols, SymbolTable];
LET [AllocImpl: Alloc, ListerUtilImpl: ListerUtil] ~ @tempListerUtilities.mesa!2599055116[
      Alloc, BcdDefs, BcdOps, CharIO, Environment, Exec, File, 
      FileSegment, FileStream, Format, Heap, ListerUtil, OSMiscOps, 
      Space, Stream, Strings, Symbols, SymbolSegment, SymbolTable, 
      Time, TTY, "-b-cj-ns", CharIOImpl, ExecImpl, FileStreamImpl, 
      HeapImpl, OSMiscOpsImpl, SpaceImpl, StreamImpl, StringsImpl, 
      TimeImpl, TTYImpl];
ListerOps: TYPE~@ListerOps.mesa!2581441556[Strings];
TreeOps: TYPE~@ProtoTreeOps.mesa!2588520733[Alloc, Literals, 
      Symbols, Tree];
CBinary: TYPE~@CBinary.mesa!2465269358;
CBinaryImpl: CBinary~@DebugTab.bcd;
CompilerOps: TYPE~@CompilerOps.mesa!2551033901[File, FileParms, 
      Stream, Strings, TimeStamp];
CompilerUtil: TYPE~@CompilerUtil.mesa!2588518198[Alloc, CompilerOps, 
      FileStream, Stream, Strings, Tree];
TreeOpsImpl: TreeOps~@DummyTreePack.mesa!2588609141[Alloc, Tree, 
            TreeOps, "-b-cj-ns", AllocImpl];
LiteralOps: TYPE~@LiteralOps.mesa!2591889369[Alloc, Literals, 
      Strings, Symbols];
LiteralOpsImpl: LiteralOps~@LiteralPack.mesa!2591892424[Alloc, 
            Literals, LiteralOps, Strings, Symbols, "-b-cj-ns", 
            AllocImpl, StringsImpl];
DebugTable: TYPE~@DebugTable.mesa!2550173137[Symbols, Tree];
LET [CompilerUtilImpl1: CompilerUtil, ListerOpsImpl: ListerOps] ~ @SLList.mesa!2584379094[
      BcdDefs, CBinary, CharIO, CompilerUtil, Environment, FileSegment, 
      Heap, ListerOps, ListerUtil, LiteralOps, OSMiscOps, Runtime, 
      Stream, Strings, SymbolTable, TreeOps, "-b-cj-ns", CBinaryImpl, 
      CharIOImpl, CompilerUtilImpl, HeapImpl, ListerUtilImpl, 
      LiteralOpsImpl, OSMiscOpsImpl, RuntimeImpl, StreamImpl, 
      StringsImpl, SymbolTableImpl, TreeOpsImpl];
CompilerUtilImpl2: CompilerUtil~@Debug.mesa!2594743918[Alloc, 
            BcdDefs, CharIO, CompilerUtil, DebugTable, Literals, 
            LiteralOps, Strings, Stream, Symbols, SymbolOps, 
            Tree, TreeOps, "-b-cj-ns", AllocImpl, CharIOImpl, 
            CompilerUtilImpl, LiteralOpsImpl, SymbolOpsImpl, 
            TreeOpsImpl];
CompilerUtilImpl: CompilerUtil~(CompilerUtilImpl1) PLUS (CompilerUtilImpl2);
SLControl: CONTROL~@CrossSLControl.mesa!2588716177[CharIO, CommandUtil, 
            Exec, ExecOps, ListerOps, OSMiscOps, Runtime, Stream, 
            Strings, Time, TTY, "-b-cj-ns", CharIOImpl, CommandUtilImpl, 
            ExecImpl, ExecOpsImpl, ListerOpsImpl, OSMiscOpsImpl, 
            RuntimeImpl, StreamImpl, StringsImpl, TimeImpl, 
            TTYImpl]
]