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