NumericLiteralN (testify)

NumericLiteralN Module

Module for writing natural numbers with an "N" postfix (e.g 0N, 99N, ...)

Function or value	Description
`FromInt32 a` Full Usage: `FromInt32 a` Parameters: a : `int` Returns: `Nat`	a : `int` Returns: `Nat`
`FromInt64 a` Full Usage: `FromInt64 a` Parameters: a : `int64` Returns: `Nat`	a : `int64` Returns: `Nat`
`FromOne ()` Full Usage: `FromOne ()` Parameters: () : `unit` Returns: `Nat`	() : `unit` Returns: `Nat`
`FromString s` Full Usage: `FromString s` Parameters: s : `string` Returns: `Nat`	s : `string` Returns: `Nat`
`FromZero ()` Full Usage: `FromZero ()` Parameters: () : `unit` Returns: `Nat`	() : `unit` Returns: `Nat`