1 line
6.2 KiB
Text
1 line
6.2 KiB
Text
|
(((value(DefineType((value(TCon f))(position((start_p(""1 0 5))(end_p(""1 0 6)))))(((value(TId `a))(position((start_p(""1 0 7))(end_p(""1 0 9)))))((value(TId `b))(position((start_p(""1 0 11))(end_p(""1 0 13))))))(DefineRecordType((((value(LId apply))(position((start_p(""1 0 19))(end_p(""1 0 24)))))((value(TyArrow((value(TyVar(TId `a)))(position((start_p(""1 0 27))(end_p(""1 0 29)))))((value(TyVar(TId `b)))(position((start_p(""1 0 33))(end_p(""1 0 35)))))))(position((start_p(""1 0 27))(end_p(""1 0 35))))))))))(position((start_p(""1 0 0))(end_p(""1 0 37)))))((value(DefineValue(RecFunctions((((value(Id f))(position((start_p(""4 56 60))(end_p(""4 56 61)))))(((value(ForallTy()((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""3 39 45))(end_p(""3 39 48)))))((value(TyCon(TCon int)()))(position((start_p(""3 39 52))(end_p(""3 39 55)))))))(position((start_p(""3 39 45))(end_p(""3 39 55)))))))(position((start_p(""3 39 45))(end_p(""3 39 55))))))(FunctionDefinition((value(PTypeAnnotation((value(PVariable((value(Id x))(position((start_p(""4 56 63))(end_p(""4 56 64)))))))(position((start_p(""4 56 63))(end_p(""4 56 64)))))((value(TyCon(TCon int)()))(position((start_p(""4 56 67))(end_p(""4 56 70)))))))(position((start_p(""4 56 62))(end_p(""4 56 71)))))((value(Apply((value(Apply((value(Variable((value(Id `+`))(position((start_p(""4 56 76))(end_p(""4 56 77)))))()))(position((start_p(""4 56 76))(end_p(""4 56 77)))))((value(Variable((value(Id x))(position((start_p(""4 56 74))(end_p(""4 56 75)))))()))(position((start_p(""4 56 74))(end_p(""4 56 75)))))))(position((start_p(""4 56 74))(end_p(""4 56 75)))))((value(Literal((value(LInt 1))(position((start_p(""4 56 78))(end_p(""4 56 79)))))))(position((start_p(""4 56 78))(end_p(""4 56 79)))))))(position((start_p(""4 56 74))(end_p(""4 56 79)))))))))))(position((start_p(""3 39 39))(end_p(""4 56 79)))))((value(DefineValue(SimpleValue(((value(Id boxed_f))(position((start_p(""6 81 85))(end_p(""6 81 92)))))(((value(ForallTy()((value(TyCon(TCon f)(((value(TyCon(TCon int)()))(position((start_p(""6 81 97))(end_p(""6 81 100)))))((value(TyCon(TCon int)()))(position((start_p(""6 81 102))(end_p(""6 81 105))))))))(position((start_p(""6 81 95))(end_p(""6 81 106)))))))(position((start_p(""6 81 95))(end_p(""6 81 106))))))((value(Record((((value(LId apply))(position((start_p(""6 81 111))(end_p(""6 81 116)))))((value(Variable((value(Id f))(position((start_p(""6 81 119))(end_p(""6 81 120)))))()))(position((start_p(""6 81 119))(end_p(""6 81 120)))))))((((value(TyCon(TCon int)()))(position((start_p(""6 81 123))(end_p(""6 81 126)))))((value(TyCon(TCon int)()))(position((start_p(""6 81 128))(end_p(""6 81 131)))))))))(position((start_p(""6 81 109))(end_p(""6 81 132)))))))))(position((start_p(""6 81 81))(end_p(""6 81 132)))))((value(DefineValue(RecFunctions((((value(Id apply_boxed_f))(position((start_p(""9 170 174))(end_p(""9 170 187)))))(((value(ForallTy(((value(TId `a))(position((start_p(""8 134 141))(end_p(""8 134 143)))))((value(TId `b))(position((start_p(""8 134 145))(end_p(""8 134 147))))))((value(TyArrow((value(TyTuple(((value(TyCon(TCon f)(((value(TyVar(TId `a)))(position((start_p(""8 134 151))(end_p(""8 134 153)))))((value(TyVar(TId `b)))(position((start_p(""8 134 155))(end_p(""8 134 157))))))))(position((start_p(""8 134 149))(end_p(""8 134 158)))))((value(TyVar(TId `a)))(position((start_p(""8 134 161))(end_p(""8 134 163))))))))(position((start_p(""8 134 149))(end_p(""8 134 163)))))((value(TyVar(TId `b)))(position((start_p(""8 134 167))(end_p(""8 134 169)))))))(position((start_p(""8 134 149))(end_p(""8 134 169)))))))(position((start_p(""8 134 140))(end_p(""8 134 169))))))(FunctionDefinition((value(PTuple(((value(PTypeAnnotation((value(PVariable((value(Id boxed_f))(position((start_p(""9 170 190))(end_p(""9 170 197)))))))(position((start_p(""9 170 190))(end_p(""9 170 197)))))((value(TyCon(TCon f)(((value(TyVar(TId `a)))(position((start_p(""9 170 202))(end_p(""9 170 204)))))((value(TyVar(TId `b)))(position((start_p(""9 170 206))(end_p(""9 170 208))))))))(position((start_p(""9 170 200))(end_p(""9 170 209))))
|