#root::ops::bitwise
Shr root/ops/bitwise.vi:22
trait Shr[A, B, O];
shr root/ops/bitwise.vi:24
fn Shr::shr[A, B, O; Shr[A, B, O]](a: A, b: B) -> O;