渲染后的文本正文equivPath' ([(v1, Ktype), (v2, Ktype), (v4, Karrow (Karrow (Karrow(Ktype, Ktype), Ktype), Ktype))], Capp (x4, Clam (v3, Karrow (Ktype,Ktype), Capp (x3, Carrow (x1, x2)))), Capp (x4, Clam (v3, Karrow(Ktype, Ktype), Capp (x3, Carrow (Cpi1 (Cpair (x1, x2)), Capp (Clam(v4, Ktype, x4), x2))))));equivPath' ([(v1, Ktype), (v2, Ktype), (v4, Karrow (Karrow (Karrow(Ktype, Ktype), Ktype), Ktype))], Capp (x4, Clam (v3, Karrow (Ktype,Ktype), Capp (x3, Carrow (x1, x2)))), Capp (x4, Clam (v3, Karrow(Ktype, Ktype), Capp (x3, Carrow (Cpi1 (Cpair (x2, x1)), Capp (Clam(v4, Ktype, x4), x2))))));