Function assert_one_ext 

pub fn assert_one_ext<AB>(builder: &mut AB, array: [impl Into<AB::Expr>; 4])
where
    AB: AirBuilder,