module TransIndex: State_builder.Counter(sigval name : stringend)
State_builder.Counter
(
sig
val name : string
string
end
)
val next : unit -> int
unit -> int
val self : State.t
State.t