Redirecting to fn.check_type_defn.html...