0.5
(NUM 10)
TA_Result(Num 10)
0.5
(ADD (NUM 1,NUM 9))
TA_Result(Num 10)
0.5
(SUB (NUM 14,NUM 4))
TA_Result(Num 10)
0.5
(MUL (NUM 5,NUM 2))
TA_Result(Num 10)
0.5
(DIV (NUM 21,NUM 2))
TA_Result(Num 10)
0.5
(EQUAL (NUM 3,NUM 2))
TA_Result(Bool(false))
0.5
(EQUAL (NUM 3,NUM 3))
TA_Result(Bool(true))
0.5
(LESS (NUM 2,NUM 2))
TA_Result(Bool(false))
0.5
(LESS (NUM 3,NUM 4))
TA_Result(Bool(true))
0.5
(NOT TRUE)
TA_Result(Bool(false))
0.5
(NOT FALSE)
TA_Result(Bool(true))
0.5
(SEQ (NUM 2,NUM 1))
TA_Result(Num 1)
0.5
(LETV("x",NUM 1,VAR "x"))
TA_Result(Num 1)
0.5
(LETV("x",NUM 3,READ "x"))
TA_Result(Num 12345)
0.5
(LETV("x",NUM 3,SEQ(READ "x",VAR "x")))
TA_Result(Num 12345)
0.5
(WRITE (NUM 1))
TA_Result(Num 1)
0.5
(IF(TRUE,NUM 1, NUM 2))
TA_Result(Num 1)
0.5
(IF(FALSE,NUM 2, NUM 1))
TA_Result(Num 1)
0.5
(LETV("x",(LETV("x",NUM 2,VAR "x")),(LETV("x",NUM 1,VAR "x"))))
TA_Result(Num 1)
0.5
(LETV("x",NUM 3,SEQ(ASSIGN("x",NUM 1),VAR "x")))
TA_Result(Num 1)
1.0
(LETV("x",NUM 1,SEQ(LETV("x",NUM 1,ASSIGN("x",NUM 3)),VAR "x")))
TA_Result(Num 1)
1.0
(LETV("x",NUM 2,LETV("y",SEQ(ASSIGN("x",NUM 1),NUM 10),VAR "x")))
TA_Result(Num 1)
1.0
(LETV("x",NUM 3,IF(SEQ(ASSIGN("x",NUM 1),TRUE),VAR "x",NUM 2)))
TA_Result(Num 1)
1.0
(LETV("x",NUM 3,IF(SEQ(ASSIGN("x",NUM 1),FALSE),NUM 2,VAR "x")))
TA_Result(Num 1)
1.0
LETV("x",NUM 3,SEQ(IF(TRUE,ASSIGN("x",NUM 1),ASSIGN("x",NUM 1)),VAR "x"))
TA_Result(Num 1)
1.0
(LETV("x",NUM 3,(SEQ(WRITE(SEQ(ASSIGN("x",NUM 1),NUM 1)),VAR "x"))))
TA_Result(Num 1)
1.0
(LETF("f",["x"],ASSIGN("x",NUM 2),LETV("z",NUM 1,SEQ(CALLV("f",[VAR "z"]),VAR "z"))))
TA_Result(Num 1)
1.0
(LETF("f",["x"],ASSIGN("x",NUM 1),LETV("z",NUM 2,SEQ(CALLR("f",["z"]),VAR "z"))))
TA_Result(Num 1)
1.0
(LETV("x",NUM 3,LETF("f",["p"],ASSIGN("x",NUM 1),SEQ(CALLV("f",[NUM 4]),VAR "x"))))
TA_Result(Num 1)
1.0
(LETV("x",NUM 3,LETF("f",["p"],ASSIGN("x",NUM 1),SEQ(CALLR("f",["x"]),VAR "x"))))
TA_Result(Num 1)
1.0
(LETV("x",NUM 3,SEQ(LETF("f",["p"],NUM 2,ASSIGN("x",NUM 1)),VAR "x")))
TA_Result(Num 1)
1.0
(LETF("f",["x"],IF(EQUAL(VAR "x",NUM 1),NUM 1,MUL(VAR "x",CALLV("f",[SUB(VAR "x", NUM 1)]))),CALLV("f",[NUM 5])))
TA_Result(Num 120)
1.0
(LETV("k",NUM 5,(LETF("f",["x"],IF(EQUAL(VAR "x",NUM 1),NUM 1,LETV("x2",SUB(VAR "x",NUM 1),MUL(VAR "x",CALLR("f",["x2"])))),CALLR("f",["k"])))))
TA_Result(Num 120)
1.0
(LETV("r",NUM 0,LETV("x",NUM 1,WHILE(FALSE,FALSE))))
TA_Result(Unit)
1.0
(LETV("r",NUM 0,LETV("x",NUM 1,SEQ(WHILE(LESS(VAR "x",NUM 11),SEQ(ASSIGN("r",ADD(VAR "r",VAR "x")),ASSIGN("x",ADD(VAR "x",NUM 1)))),VAR "r"))))
TA_Result(Num 55)
1.0
(LETV("z",NUM 0,LETV("r",NUM 0,LETV("x",NUM 1,SEQ(WHILE(SEQ(ASSIGN("z",ADD(VAR "z",NUM 1)),LESS(VAR "x",NUM 11)),SEQ(ASSIGN("r",ADD(VAR "r",VAR "x")),ASSIGN("x",ADD(VAR "x",NUM 1)))),VAR "z")))))
TA_Result(Num 11)
1.0
LETF("max",["x";"y"],IF(LESS(VAR("x"),VAR("y")),VAR("y"),VAR("x")),LETV("x",NUM(10),LETV("y",NUM(20),CALLR("max",["x";"y"]))))
TA_Result (Num 20)
1.0
LETV("r",RECORD([("a",NUM(1));("b",NUM(2));("c",NUM(3))]),SEQ(ASSIGNFIELD(VAR("r"),"a",NUM(4)),ADD(FIELD(VAR("r"),"a"),FIELD(VAR("r"),"b"))))
TA_Result (Num 6)