COQ in TYPE Handel | Konvertieren von Coq Inu in TypeIt auf SimpleSwap