Function simfony_as_rust::jet::multi_bit_logic::right_shift_with_16

pub fn right_shift_with_16(a: u1, b: u4, c: u16) -> u16

Right-shift a 16-bit value by the given amount. Bits are filled with the given bit.