Q Given the following inductive definition:

$1.$ A slice $($type $\text{'}$a$)$ is a pizza.

$2.$ If p$1$ is a pizza and p$2$ is a pizza, then Pizza$($c$1,$c$2)$ is a pizza

$3.$ Nothing else is a pizza.

a$)$ Define a data type for pizza.