Module lambda_calculus::data::num::convert

Numeral encoding conversions

Enums

• Encoding
  The type of numeric encoding.

Traits

• IntoBinaryNum
• IntoChurchNum
• IntoParigotNum
• IntoScottNum
• IntoSignedNum
• IntoStumpFuNum