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