inference

test.js

//       (c -> c)
//                            c
var id = function(x) { return x; };
//        (i -> i)
//           TNumber
var num = id(3);
//        (n -> n)
//           TString
var str = id('a');

//(r -> r)
id;
//TNumber
num;
//TString
str;


//({length: ad, ...} -> {len: ad, obj: {length: ad, ...}})
function f(x) {
//      {len: ad, obj: {length: ad, ...}}
//             ab
//               ag
    var len =  x.length;
//         {len: ad, obj: {length: ad, ...}}
//                {length: ad, ...}
//                        ad
    return { obj: x, len: len };
}
//      ({length: am, ...} -> {len: am, obj: {length: am, ...}})
//        {len: TNumber, obj: {length: TNumber, moshe: TNumber, ...}}
//        {length: TNumber, moshe: TNumber}
//                 TNumber
//                            TNumber
var y = f({ moshe: 3, length: 4 });
//      ({length: at, ...} -> {len: at, obj: {length: at, ...}})
//        {len: TString, obj: {length: TString, ...}}
//        {length: TString}
//                  TString
var z = f({ length: 'a' });

//({length: b`, ...} -> {len: b`, obj: {length: b`, ...}})
f;
//{len: TNumber, obj: {length: TNumber, moshe: TNumber, ...}}
y;
//{len: TString, obj: {length: TString, ...}}
z;