Module Data_for_aorai.StateIndex


module StateIndex: State_builder.Counter(sig
val name : string
end)

val next : unit -> int
Increments the counter and returns a fresh value
val self : State.t