Javascript.Label
type t
val zero : t
val succ : t -> t
val to_string : t -> string
val of_string : string -> t