File [ivy]<Satterthwaite>Modula>Modula2.model!1

    -- Modula2.model
    -- last edited by Satterthwaite, November 29, 1985 5:12:33 pm PST

    LET @///SML/OSBasics.modelBcd!560125375 IN
    LET @///SML/CedarBasics.modelBcd!560125418 IN
    LET [
        CommandTool: TYPE~@/Cedar/Cedar6.0/CommandTool/CommandTool.bcd!546422614*[]] IN

    LAMBDA [
        BasicTimeImpl: BasicTime,
        CommanderImpl: Commander,
        CommandToolImpl: CommandTool,
        FSImpl: FS,
        IOImpl: IO,
        RopeImpl: Rope,
        ViewerIOImpl: ViewerIO] => [] IN

      REC [

        &options: STRING~"bjn-s";

        M2D: TYPE~@M2D.mesa!559034044*[]*[];
        [CD: CONTROL, M2DImpl: M2D]~@M2DImpl.mesa!559034037*[]*[];

        M2S: TYPE~@M2S.mesa!559034881*[]*[];
        [CS: CONTROL, M2SImpl: M2S]~@M2SImpl.mesa!559034885*[]*[];

        M2I: TYPE~@M2I.mesa!565308784*[]*[];
        [CI: CONTROL, M2IImpl: M2I]~@M2IImpl.mesa!565308799*[]*[];

        M2G: TYPE~@M2G.mesa!565310129*[]*[];
        [CG: CONTROL, M2GImpl: M2G]~@M2GImpl.mesa!565311474*[]*[];

        M2T: TYPE~@M2T.mesa!559034966*[]*[];
        [CT: CONTROL, M2TImpl: M2T]~@M2TImpl.mesa!559034958*[]*[];

        M2R: TYPE~@M2R.mesa!559080438*[]*[];
        [CR: CONTROL, M2RImpl: M2R]~@M2RImpl.mesa!559091144*[]*[];

        M2P: TYPE~@M2P.mesa!565311739*[]*[];
        [CP: CONTROL, M2PImpl: M2P]~@M2PImpl.mesa!565311669*[]*[];

        Modula: CONTROL~@M2Impl.mesa!560296807*[]*[]]