About TVM code ask

const auto* ttype = param->checked_type().as() I want to know this code’s meanings?Can you help me?