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