typing.groovy

                                _____ _______
                           /\  |  __ |__   __|
 _ __ ___  _ __ ___ _____ /  \ | |  | | | |
| '_ ` _ \| '_ ` _ |_____/ /\ \| |  | | | |
| | | | | | | | | | |   / ____ \ |__| | | |
|_| |_| |_|_| |_| |_|  /_/    \_\____/  |_|
                                 mm-adt.org
                                 
mmadt> obj{0} <= [explain,int <= [start,1,2,3][plus,2][map,45][mult,2][sum][count][count]]

EXPLAIN: int <= [start,1,2,3][plus,2][map,45][mult,2][sum][count][count]
-----------------------------------
[start,1,2,3]: obj{0}     -> int{3}
[plus,2]:      int{3}     -> int{3}
[map,45]:      int{3}     -> 45{3}
[mult,2]:      45{3}      -> 90{3}
[sum]:         90{3}      -> {270}
[count]:       {270}      -> 1
[count]:       1          -> 1
mmadt>
  

  
  
  
mmadt> obj{0} <= [explain,int{3} <= [plus,2][map,45][mult,2][sum][count][count]]

EXPLAIN: int{3} <= [plus,2][map,45][mult,2][sum][count][count]
-----------------------------------
[plus,2]:      int{3} <= [plus,2][map,45][mult,2][sum][count][count] -> int{3}
[map,45]:      int{3}     -> 45{3}
[mult,2]:      45{3}      -> 90{3}
[sum]:         90{3}      -> {270}
[count]:       {270}      -> 1
[count]:       1          -> 1
mmadt>
  
  
  
  
  
mmadt> obj{0} <= [explain,int <= [start,10{3}][plus,2][map,45][mult,2][sum][count][count]]

EXPLAIN: int <= [start,10{3}][plus,2][map,45][mult,2][sum][count][count]
-----------------------------------
[start,10{3}]: obj{0}     -> 10{3}
[plus,2]:      10{3}      -> 12{3}
[map,45]:      12{3}      -> 45{3}
[mult,2]:      45{3}      -> 90{3}
[sum]:         90{3}      -> {270}
[count]:       {270}      -> 1
[count]:       1          -> 1
mmadt>
  



mmadt> obj{0} <= [explain,int <= [start,int{3,20}][plus,2][map,45][mult,2][sum][count][count]]

EXPLAIN: int <= [start,int{3,20}][plus,2][map,45][mult,2][sum][count][count]
-----------------------------------
[start,int{3,20}]:obj{0}     -> int{3,20}
[plus,2]:      int{3,20}  -> int{3,20}
[map,45]:      int{3,20}  -> 45{3,20}
[mult,2]:      45{3,20}   -> 90{3,20}
[sum]:         90{3,20}   -> {270,1800}
[count]:       {270,1800} -> 1
[count]:       1          -> 1
mmadt>