           var pb;
            var qb = (function (rb) {
                if ((rb.Tag == 0.000000)) {
                    return { Tag: 0.000000 };
                }
                else {
                    var sb = n(rb);
                    return { Tag: 1.000000, Value: (new X(sb, { Tag: 0.000000 })) };
                };
            });
            pb = (function (rb) {
                return R(qb, rb);
            });
            return pb({ Tag: 1.000000, Value: ob });
        });
        Q = (functi