Fix.TWO_PHASE_NUMBERING
type t
val encode : t -> int
val current : unit -> int
val has_been_encoded : t -> bool
module Done () : sig ... end