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