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