Intercambio de COQ a TYPE| Convierte Coq Inu a TypeIt en SimpleSwap