Source position: matrix.pp line 387
operator operator *(
const x: Tvector3_double;
const y: Tvector3_double
):Tvector3_double;