Module r3_core::utils::for_times

Structs

• B0
• B1
• IncrSatOp
• Overflow
  Returned by U if the given value is larger than U_MAX.
• U0
• UInt

Constants

• U_MAX
  Maximum input value for U.

Traits

• Nat
  Natural number. Use U to get a type implementing this.
• NatFn
  Type-level function producing a Nat.

Type Definitions

• IncrSat
  Saturating increment operation.
• U
  Convert a value to a binary integer type.
• WrappingU
  Convert a value to a binary integer type.