module type Size = sig .. end
sig
end
type t
val dim : int
int
dim
Gg.Size.t
val zero : t
t
zero
val unit : t
unit