module Eid: sig .. end
sig
end
val next : unit -> int
unit -> int
val get : unit -> int
val self : State.t
State.t