fn validate_lbs(lbs: &Fid) {
        assert_eq!(lbs[0], true);
        assert_eq!(lbs[1], false);

        let (mut cnt0, mut cnt1) = (0u64, 0u64);
        for (i, bit) in lbs.iter().enumerate() {
            if bit {
                cnt1 += 1
            } else {
                cnt0 += 1
            };
            assert!(
                cnt0 <= cnt1 + 1,
                "At index {}, the number of '0' ({}) == (the number of '1' ({})) + 2.",
                i,
                cnt0,
                cnt1,
            );
        }
        assert_eq!(cnt0, cnt1 + 1);
    }
/// Checks if `lbs` satisfy the LBS's necessary and sufficient condition:
Checks if `lbs` satisfy the LBS's necessary and sufficient condition.
Checks if ` lbs ` satisfy the LBS ' s necessary and sufficient condition .
fn validate_lbs(lbs: &Fid) {
        assert_eq!(lbs[0], true);
        assert_eq!(lbs[1], false);
        let (mut cnt0, mut cnt1) = (0u64, 0u64);
        for (i, bit) in lbs.iter().enumerate() {
            if bit {
                cnt1 += 1
            } else {
                cnt0 += 1
            };
            assert!(
                cnt0 <= cnt1 + 1,
                "At index {}, the number of '0' ({}) == (the number of '1' ({})) + 2.",
                i,
                cnt0,
                cnt1,
            );
        }
        assert_eq!(cnt0, cnt1 + 1);
    }
fn validate_lbs ( lbs : & Fid ) { assert_eq ! ( lbs [ 0 ] true ) ; assert_eq ! ( lbs [ 1 ] false ) ; let ( mut cnt0 , mut cnt1 ) = ( 0u64 , 0u64 ) ; for ( i , bit ) in lbs . iter ( ) . enumerate ( ) { if bit { cnt1 += 1 } else { cnt0 += 1 } ; assert ! ( cnt0 cnt1 1 " " i cnt0 cnt1 ) ; } assert_eq ! ( cnt0 cnt1 1 ) ; }
Checks if `lbs` satisfy the LBS's necessary and sufficient condition:
Checks if ` lbs ` satisfy the LBS ' s necessary and sufficient condition :
lbs
&Fid
lbs
&Fid