#root::numeric

Int root/numeric/Int.vi

struct Int(...);

from_parts root/numeric/Int.vi:7

fn from_parts(negative: Bool, magnitude: Nat) -> Int;

to_parts root/numeric/Int.vi:15

fn to_parts(...: Int) -> (Bool, Nat);

sign root/numeric/Int.vi:19

fn sign(...: Int) -> Bool;

abs root/numeric/Int.vi:23

fn abs(...: Int) -> Nat;

is_zero root/numeric/Int.vi:27

fn is_zero(...: &Int) -> Bool;

add root/numeric/Int.vi:31

impl add: Add[Int, Int, Int];

sub root/numeric/Int.vi:45

impl sub: Sub[Int, Int, Int];

neg root/numeric/Int.vi:51

impl neg: Neg[Int, Int];

mul_n32 root/numeric/Int.vi:61

impl mul_n32: Mul[Int, N32, Int];

mul root/numeric/Int.vi:67

impl mul: Mul[Int, Int, Int];

pow_n32 root/numeric/Int.vi:76

impl pow_n32: Pow[Int, N32, Int];

div_i32 root/numeric/Int.vi:82

impl div_i32: Div[Int, I32, Int];

rem_i32 root/numeric/Int.vi:95

impl rem_i32: Rem[Int, I32, I32];

div_rem_i32 root/numeric/Int.vi:106

fn div_rem_i32(...: Int, d: I32) -> (Int, I32);

from_nat root/numeric/Int.vi:123

impl from_nat: Cast[Nat, Int];

to_nat root/numeric/Int.vi:129

impl to_nat: Cast[Int, Nat];

from_n32 root/numeric/Int.vi:135

impl from_n32: Cast[N32, Int];

to_n32 root/numeric/Int.vi:141

impl to_n32: Cast[Int, N32];

from_i32 root/numeric/Int.vi:147

impl from_i32: Cast[I32, Int];

to_i32 root/numeric/Int.vi:153

impl to_i32: Cast[Int, I32];

from_n64 root/numeric/Int.vi:163

impl from_n64: Cast[N64, Int];

to_n64 root/numeric/Int.vi:169

impl to_n64: Cast[Int, N64];

eq root/numeric/Int.vi:178

impl eq: Eq[Int];

ord root/numeric/Int.vi:188

impl ord: Ord[Int];

parse root/numeric/Int.vi:213

fn parse(str: String) -> Option[Int];

to_string root/numeric/Int.vi:228

impl to_string: Cast[Int, String];

show root/numeric/Int.vi:238

impl show: Show[Int];