1 line
1.6 KiB
Text
1 line
1.6 KiB
Text
|
(((value(DefineType((value(TCon color))(position((start_p(""1 0 5))(end_p(""1 0 10)))))()(DefineSumType((((value(KId Red))(position((start_p(""1 0 13))(end_p(""1 0 16)))))())(((value(KId Blue))(position((start_p(""1 0 19))(end_p(""1 0 23)))))())))))(position((start_p(""1 0 0))(end_p(""1 0 23)))))((value(DefineValue(SimpleValue(((value(Id red))(position((start_p(""3 25 29))(end_p(""3 25 32)))))(((value(ForallTy()((value(TyCon(TCon color)()))(position((start_p(""3 25 37))(end_p(""3 25 42)))))))(position((start_p(""3 25 37))(end_p(""3 25 42))))))((value(Tagged((value(KId Red))(position((start_p(""3 25 45))(end_p(""3 25 48)))))(())()))(position((start_p(""3 25 45))(end_p(""3 25 50)))))))))(position((start_p(""3 25 25))(end_p(""3 25 50)))))((value(DefineValue(SimpleValue(((value(Id blue))(position((start_p(""4 51 55))(end_p(""4 51 59)))))(((value(ForallTy()((value(TyCon(TCon color)()))(position((start_p(""4 51 63))(end_p(""4 51 68)))))))(position((start_p(""4 51 63))(end_p(""4 51 68))))))((value(Tagged((value(KId Blue))(position((start_p(""4 51 71))(end_p(""4 51 75)))))(())()))(position((start_p(""4 51 71))(end_p(""4 51 77)))))))))(position((start_p(""4 51 51))(end_p(""4 51 77)))))((value(DefineValue(SimpleValue(((value(Id green))(position((start_p(""5 78 82))(end_p(""5 78 87)))))(((value(ForallTy()((value(TyCon(TCon color)()))(position((start_p(""5 78 90))(end_p(""5 78 95)))))))(position((start_p(""5 78 90))(end_p(""5 78 95))))))((value(Tagged((value(KId Green))(position((start_p(""5 78 98))(end_p(""5 78 103)))))(())()))(position((start_p(""5 78 98))(end_p(""5 78 105)))))))))(position((start_p(""5 78 78))(end_p(""5 78 105))))))
|