see below is simply a place holder for one of a few possible types which are always described in the following text. For example here:
typedef see below element_type;
1
Type:
Ptr::element_type
if such a type exists; otherwise,T
ifPtr
is a class template instantia-tion of the formSomePointer<T, Args>
, where Args is zero or more type arguments; otherwise, the specialization is ill-formed.
you may subsitute Ptr::element_type
or T
if SomePointer<T, Args>
is valid for see below depending on context.
This form is named a syntactic category and is described in section 1.6 of the same document.