inductive_data_type Copy: inductive_data_type has NO comma Hide Show No older revisions availableNo older revisions available File does not exist