Skip to main content

is_enum_inductive

oxilean_kernel::inductive::functions

Function is_enum_inductive 

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

Check whether an inductive type is an enum (all constructors have no fields).