Struct RtArith 

pub struct RtArith;

Arithmetic operations on runtime objects.

Implementations

impl RtArith

pub fn nat_add(a: &RtObject, b: &RtObject) -> Option<RtObject>

Add two natural numbers.

pub fn nat_sub(a: &RtObject, b: &RtObject) -> Option<RtObject>

Subtract two natural numbers (saturating).

pub fn nat_mul(a: &RtObject, b: &RtObject) -> Option<RtObject>

Multiply two natural numbers.

pub fn nat_div(a: &RtObject, b: &RtObject) -> Option<RtObject>

Divide two natural numbers (integer division, rounds toward zero).

pub fn nat_mod(a: &RtObject, b: &RtObject) -> Option<RtObject>

Modulo of two natural numbers.

pub fn nat_le(a: &RtObject, b: &RtObject) -> Option<RtObject>

Compare two natural numbers (less than or equal).

pub fn nat_lt(a: &RtObject, b: &RtObject) -> Option<RtObject>

Compare two natural numbers (less than).

pub fn nat_eq(a: &RtObject, b: &RtObject) -> Option<RtObject>

Compare two natural numbers for equality.

pub fn bool_and(a: &RtObject, b: &RtObject) -> Option<RtObject>

Boolean AND.

pub fn bool_or(a: &RtObject, b: &RtObject) -> Option<RtObject>

Boolean OR.

pub fn bool_not(a: &RtObject) -> Option<RtObject>

Boolean NOT.

pub fn int_add(a: &RtObject, b: &RtObject) -> Option<RtObject>

Integer addition.

pub fn int_sub(a: &RtObject, b: &RtObject) -> Option<RtObject>

Integer subtraction.

pub fn int_mul(a: &RtObject, b: &RtObject) -> Option<RtObject>

Integer multiplication.

pub fn int_neg(a: &RtObject) -> Option<RtObject>

Integer negation.