sig   type t = float   val dim : int   val v : float -> Gg.size1   val w : Gg.size1 -> float   val zero : Gg.size1   val unit : Gg.size1 end