Conider the type checker for a simple expression language

data Type $=$ Int $|$ Bool $|$ TypeError

deriving $($Eq$,$Show$)$

tc :: Expr $->$ Type

tc $($N i$)=$ Int

tc $($Plus e e$\text{'})|$ tc e$==$Int && tc e$\text{'}==$Int $=$ Int

tc $($Equal e e$\text{'})|$ tc e$==$Int && tc e$\text{'}==$Int $=$ Bool

$|$ tc e$==$Bool && tc e$\text{'}==$Bool $=$ Bool

tc $($Not e$)|$ tc e$==$Bool $=$ Bool

tc $\_=$ TypeError

Suppose you want to add type checking for boolean Or $($Or expr expr$)$ of two expressions that must evaluate to booleans. Select the appropriate line of code.

Group of answer choices

tc $($Or e e$\text{'})|$ tc e$==$Bool && tc e$\text{'}==$Bool $=$ Bool

tc $($Or e e$\text{'})|$ tc e$==$Bool or tc e$\text{'}==$Bool $=$ Bool

tc $($Or e e$\text{'})|$ tc e$==$Bool or tc e$\text{'}==$Bool

tc $($Or e e$\text{'})|$ tc e$==$Bool && tc e$\text{'}==$Bool $=$ Int

None of these