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