Member predicate TypePatternExpr :: getCheckedType
Gets the type checked by this pattern.
Type
getCheckedType
(
)