-- CodeCompare.model
-- Copyright (c) 1985 by Xerox Corporation.  All rights reserved.
-- last edit by Satterthwaite, November 21, 1985 11:55:17 am PST

LET @///SML/OSBasics.modelBcd!560125375 IN 
LET @///SML/CedarBasics.modelBcd!560125418 IN 
LET @///SML/LoaderBasics.modelBcd!560125519 IN 

LAMBDA [
    BasicTimeImpl: BasicTime, 
    CommanderImpl: Commander, 
    ConvertImpl: Convert, 
    FSImpl: FS, 
    IOImpl: IO, 
    LoaderImpl: Loader, 
    ProcessImpl: Process, 
    RopeImpl: Rope, 
    VMImpl: VM] => [] IN 
  
  REC [
    
    &options: STRING~"j-b-ns"; 
    
    -- these come from BasicLoadState.df
    -- Table: TYPE~@Table.mesa!541530693*["s-z"]*[]; 
    BcdDefs: TYPE~@/Cedar/Cedar6.0/Compiler/BcdDefs.bcd!564452312*[]; 
    
    CodeCompare: CONTROL~@CodeCompare.mesa!565045300*[]*[]]