File [ivy]<Satterthwaite>CodeCompare>CodeCompare.model!3

    -- 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*[]*[]]