#root::ops::arithmetic

Pos root/ops/arithmetic.vi:46

trait Pos[A, O];

pos root/ops/arithmetic.vi:48

fn Pos::pos[A, O; Pos[A, O]](a: A) -> O;