Report copyright - Inductive data types · Inductive data types Enumerated types Enumerated types : program by case analysis Inspect the enumerated type inhabitants and assign values : Definition my_negb
Please pass captcha verification before submit form