times

open operator fun Term.times(other: Any): Struct

Builds a */2 Struct, e.g. "X" * 2.

open operator fun Number.times(other: Any): Struct

open operator fun Boolean.times(other: Any): Struct

open operator fun Char.times(other: Any): Struct

open operator fun String.times(other: Any): Struct

Same as the Term receiver overload of times above, for a non-Term left-hand side.