Type Alias lambda_types::math::Zero

source · 
pub type Zero = SecondOf;
Expand description

Church numeral for zero.

Aliased Type§

struct Zero { /* private fields */ }