Skip to main content

check_inductive

oxilean_kernel::inductive::functions

Function check_inductive 

Source 
pub fn check_inductive(ind: &InductiveType) -> Result<(), KernelError>
Expand description

Check an inductive type declaration for validity.