sig
type
t
val
tag :
Wstdlib
.
TaggedType
.t
->
int
end