explain.scala

~/software/mm-adt/vm/jvm bin/mmadt.sh
                                _____ _______
                           /\  |  __ |__   __|
 _ __ ___  _ __ ___ _____ /  \ | |  | | | |
| '_ ` _ \| '_ ` _ |_____/ /\ \| |  | | | |
| | | | | | | | | | |   / ____ \ |__| | | |
|_| |_| |_|_| |_| |_|  /_/    \_\____/  |_|
                                 mm-adt.org

mmlang> true ==> int[plus,[plus,2][mult,7]]<x>[mult,[plus,5]<y>[mult,[plus,<y>]]][is,[gt,<x>]<z>[id]][plus,5][explain]
==>'
int{?}<=int[plus,int[plus,2][mult,7]]<x>[mult,int[plus,5]<y>[mult,int[plus,int<y>]]][is,bool<=int[gt,int<x>]<z>[id]][plus,5]

instruction                                     domain         range    state
------------------------------------------------------------------------------
[plus,int[plus,2][mult,7]]                      int       =>   int
 [plus,2]                                        int      =>    int
 [mult,7]                                        int      =>    int
[mult,int[plus,5]<y>[mult,int[plus,int<y>]]]    int       =>   int       int<x>
 [plus,5]                                        int      =>    int      int<x>
 [mult,int[plus,int<y>]]                         int      =>    int      int<x> int<y>
  [plus,int<y>]                                   int     =>     int     int<x> int<y>
[is,bool<=int[gt,int<x>]<z>[id]]                int       =>   int{?}    int<x>
 [gt,int<x>]                                     int      =>    bool     int<x>
 [id]                                            bool     =>    bool     int<x> bool<z>
[plus,5]                                        int{?}    =>   int{?}    int<x>
'
mmlang>