Skip to main content

constructor_field_counts

oxilean_kernel::inductive::functions

Function constructor_field_counts 

Source 
pub fn constructor_field_counts(ind: &InductiveType) -> Vec<(Name, u32)>
Expand description

Given an InductiveType, return the number of fields in each constructor.