A type F
meets the ProFacade requirements of a type P
if F
meets the ProBasicFacade requirements, and P
meets the requirements defined by F::constraints
, and the following expressions are well-formed and have the specified semantics.
Expressions | Semantics |
---|---|
typename F::convention_types |
A tuple-like type that contains any number of distinct types Cs . Each type C in Cs shall meet the ProConvention requirements of P . |
typename F::reflection_types |
A tuple-like type that contains any number of distinct types Rs . Each type R in Rs shall meet the ProReflection requirements of P . |