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