sig
type
label = int
type
t = int
val
create :
'
a
->
'
a
val
label :
'
a
->
'
a
end