[ { "name": "sum int", "tp": "(int -> int -> int)", "ios": [ [ [ "1","2" ], "3" ], [ [ "4","5" ], "9" ], [ [ "7","7" ], "14" ], [ [ "0","1" ], "1" ], [ [ "-10","-10" ], "-20" ] ] } ]