sig
  type t
  val dim : int
  type mh
  val o : Gg.P.t
  val mid : Gg.P.t -> Gg.P.t -> Gg.P.t
  val tr : Gg.P.mh -> Gg.P.t -> Gg.P.t
end