public interface operator(**)
Repetition operator for character and String (as exponentiation).
For a user reference, see Repetition.
Functions
Arguments
| Type |
Intent | Optional | Attributes |
|
Name |
|
|
character(len=*),
|
intent(in) |
|
|
:: |
char_base |
|
|
integer,
|
intent(in) |
|
|
:: |
ncopies |
|
Return Value
character(len=len)
Arguments
| Type |
Intent | Optional | Attributes |
|
Name |
|
|
class(String),
|
intent(in) |
|
|
:: |
String_base |
|
|
integer,
|
intent(in) |
|
|
:: |
ncopies |
|
Return Value
type(String)