sig   type t = Gg.p3   val dim : int   type mh = Gg.m4   val v : float -> float -> float -> Gg.p3   val x : Gg.p3 -> float   val y : Gg.p3 -> float   val z : Gg.p3 -> float   val o : Gg.p3   val mid : Gg.p3 -> Gg.p3 -> Gg.p3   val tr : Gg.m4 -> Gg.p3 -> Gg.p3 end