astronomy/source/kotlin/doc/times.md

//astronomy/io.github.cosinekitty.astronomy/times

times

operator fun Double.times(vec: Vector): Vector

Multiply a scalar by a vector, yielding another vector.