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