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