infix *
String.infix *
repeat string given number of times
Precondition
pre n ≥ 0
Fields
Comment of String.utf8
any concrete string must implement utf8Constructors
repeat string given number of times
Functions
execute this string by splitting at all whitespaces
(env_vars option (container.Map String String)) => outcome tokiwa.process_result[Inherited from String]¶
(env_vars option (container.Map String String))
=>
outcome tokiwa.process_result[Inherited from String]
¶execute this string by splitting at all whitespaces
(env_vars option (container.Map String String), feed_stdin option io.path, timeout option time.duration) => outcome tokiwa.process_result[Inherited from String]¶
(env_vars option (container.Map String String), feed_stdin option io.path, timeout option time.duration)
=>
outcome tokiwa.process_result[Inherited from String]
¶execute this string by splitting at all whitespaces
0.099dev (GIT hash 02118e9cbed77f3897084a4a507da3f11ac8881e)