            return pb;
                }
                else {
                    return 0.000000;
                };
            };
        });
        ab = (function (ob, pb) {
            this.seed = ob;
            this.unfold = pb;
            this.acc = { Tag: 1.000000, Value: this.seed };
            this.current = null;
        });
        bb = (function (ob, pb) {
            this.seed = ob;
            this.unfold = pb;
            this.acc = { Tag: 1.000000, Value: this.seed };
            this