You are entering an expression. Select one of the following.

\lambda [Genid]:[Expr].[Expr]
let [Genid] = [Expr] in [Expr]
\forall [Genid]:[Expr].[Expr]
[Expr] \to [Expr]
?
Prop Set Type ?
( [Expr list] )