Skip to main content

is_singleton_inductive

oxilean_kernel::inductive::functions

Function is_singleton_inductive 

Source 
pub fn is_singleton_inductive(ind: &InductiveType) -> bool
Expand description

Check whether an inductive type is a singleton (one constructor, no recursive fields).