explain.groovy

mmlang> [int;[bool:int]]~z => (z.0) + (z.1.bool) => [explain]

instruction                                                domain                   range                    state                
---------------------------------------------------------------------------------------------------------------------------------
[map,[int;[bool:int]]~z]                                   [int;[bool:int]]~z   =>  [int;[bool:int]]~z   ->  [[int;[bool:int]]~z] 
[get,0]                                                    [int;[bool:int]]~z   =>  int                  ->  [[int;[bool:int]]~z] 
[plus,int <= [map,[int;[bool:int]]~z][get,1][get,bool]]    int                  =>  int                  ->  [[int;[bool:int]]~z] 
 [map,[int;[bool:int]]~z]                                   int                 =>   [int;[bool:int]]~z  ->   [[int;[bool:int]]~z]
 [get,1]                                                    [int;[bool:int]]~z  =>   [bool:int]          ->   [[int;[bool:int]]~z]
 [get,bool]   
 
 ==>int <= [map,[int;[bool:int]]~z][get,0][plus,int <= [map,[int;[bool:int]]~z][get,1][get,bool]]