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.