Macro hacspec_lib::secret_array

macro_rules! secret_array {
    ( $int_type: ident, [ $( $x:expr ),+ ] ) => { ... };
}