interface ShiftRight<A B> {
    _: Output
    fn Op.shr(A B) -> [Output]
}