lambda_types::math

Type Alias Zero

Source 
pub type Zero = SecondOf;
Expand description

Church numeral for zero.

Aliased Typeยง

struct Zero { /* private fields */ }