Class CustomADT<T>

{ tname: string; tparams: string[]; tmap: { cname: string; argtypes: string[]; }[]; { constructor: ${addr}.Uint128Pair, argtypes: [], arguments: [threshold.toString(), discount.toString()], } }