Source position: matrix.pp line 102
constructor Tvector3_double.init(
a: Double;
b: Double;
c: Double
);