type t = {m00 : float;m01 : float;m02 : float;m10 : float;m11 : float;m12 : float;m20 : float;m21 : float;m22 : float;
}val diagonal : float -> float -> float -> tval scale : float -> t -> tval conjugate : t -> t -> tval inverse : t -> t optionval inverse_diagonal : t -> t