moduleDDC.Core.Tetra.Prim.OpCast(readPrimCast,typePrimCast)whereimportDDC.Core.Tetra.Prim.BaseimportDDC.Type.CompoundsimportDDC.Type.ExpimportDDC.Core.Salt.Name(readPrimCast)-- | Take the type of a primitive numeric cast operator.typePrimCast::PrimCast->TypeNametypePrimCastop=caseopofPrimCastConvert->tForalls[kData,kData]$\[t1,t2]->t1`tFun`t2PrimCastPromote->tForalls[kData,kData]$\[t1,t2]->t1`tFun`t2PrimCastTruncate->tForalls[kData,kData]$\[t1,t2]->t1`tFun`t2