Nat (testify) | testify

Nat Type

Namespace: global
Assembly: Testify.dll
Parent Module: Mini
Base Type: obj
All Interfaces: IEquatable<Nat> , IStructuralEquatable , IComparable<Nat> , IComparable , IStructuralComparable

The type Nat represents natural numbers starting at 0.

Instance members

Instance member	Description
`this.ToBigInteger` Full Usage: `this.ToBigInteger` Returns: `bigint`	converts to bigint Returns: `bigint`
`this.ToString'` Full Usage: `this.ToString'` Returns: `unit -> string`	Returns: `unit -> string`

Static members

Static member	Description
`arg0 % arg1` Full Usage: `arg0 % arg1` Parameters: arg0 : `Nat` arg1 : `Nat` Returns: `Nat`	Remainder of division (Modulo) for natural numbers (e.g. 11 % 3 = 2) arg0 : `Nat` arg1 : `Nat` Returns: `Nat`
`arg0 * arg1` Full Usage: `arg0 * arg1` Parameters: arg0 : `Nat` arg1 : `Nat` Returns: `Nat`	Multiplication of two natural numbers arg0 : `Nat` arg1 : `Nat` Returns: `Nat`
`arg0 + arg1` Full Usage: `arg0 + arg1` Parameters: arg0 : `Nat` arg1 : `Nat` Returns: `Nat`	Addition of two natural numbers arg0 : `Nat` arg1 : `Nat` Returns: `Nat`
`arg0 - arg1` Full Usage: `arg0 - arg1` Parameters: arg0 : `Nat` arg1 : `Nat` Returns: `Nat`	Substraction of two natural numbers. If b > a then a - b = 0. arg0 : `Nat` arg1 : `Nat` Returns: `Nat`
`arg0 / arg1` Full Usage: `arg0 / arg1` Parameters: arg0 : `Nat` arg1 : `Nat` Returns: `Nat`	Floored division (e.g. 11 / 3 = 3) arg0 : `Nat` arg1 : `Nat` Returns: `Nat`
`Nat.Make(n)` Full Usage: `Nat.Make(n)` Parameters: n : `int` Returns: `Nat`	create a natural number from an int value n : `int` Returns: `Nat`
`Nat.Make(n)` Full Usage: `Nat.Make(n)` Parameters: n : `bigint` Returns: `Nat`	create a natural number from a bigint value n : `bigint` Returns: `Nat`
`Nat.One` Full Usage: `Nat.One` Returns: `Nat`	The neutral element for multiplication (used by some generic functions) Returns: `Nat`
`Nat.Parse(s)` Full Usage: `Nat.Parse(s)` Parameters: s : `String` Returns: `Nat`	Parse a string to a natural number. Raises a System.FormatException if the number is not correctly formatted. s : `String` Returns: `Nat`
`Nat.Pow(arg1, arg1)` Full Usage: `Nat.Pow(arg1, arg1)` Parameters: arg0 : `Nat` arg1 : `Nat` Returns: `Nat`	exponentiation, to the power of arg0 : `Nat` arg1 : `Nat` Returns: `Nat`
`Nat.Zero` Full Usage: `Nat.Zero` Returns: `Nat`	The neutral element for addition (used by some generic functions) Returns: `Nat`
`Nat.op_Explicit x` Full Usage: `Nat.op_Explicit x` Parameters: x : `Nat` Returns: `bigint`	cast to int x : `Nat` Returns: `bigint`
`Nat.op_Explicit x` Full Usage: `Nat.op_Explicit x` Parameters: x : `Nat` Returns: `byte`	cast to int x : `Nat` Returns: `byte`
`Nat.op_Explicit x` Full Usage: `Nat.op_Explicit x` Parameters: x : `Nat` Returns: `float`	cast to int x : `Nat` Returns: `float`
`Nat.op_Explicit x` Full Usage: `Nat.op_Explicit x` Parameters: x : `Nat` Returns: `int`	cast to int x : `Nat` Returns: `int`
`Nat.ord c` Full Usage: `Nat.ord c` Parameters: c : `Char` Returns: `Nat`	Convert a char to a natural number c : `Char` Returns: `Nat`