Module arithmetic_typing::defs

Type definitions for the standard types from the arithmetic-eval crate.

Enums

Assertions	Definitions for assert and assert_eq functions.
Prelude	Map containing type definitions for all variables from Prelude in the eval crate, except for loop function.