Source position: matrix.pp line 435
operator operator *(
const x: Tvector4_double;
y: Double
):Tvector4_double;