Module type Fix.TWO_PHASE_NUMBERING

include ONGOING_NUMBERING
type t
val encode : t -> int
val current : unit -> int
val has_been_encoded : t -> bool
module Done : functor () NUMBERING with type t = t