sig
type
n
val
value :
Slap_size
.
SIZE
.n
Slap_size
.t
end