#root::ops::arithmetic
Add root/ops/arithmetic.vi:2
trait Add[A, B, O];
add root/ops/arithmetic.vi:4
fn Add::add[A, B, O; Add[A, B, O]](a: A, b: B) -> O;