Numbering.Make
module M : sig ... end
type t = M.key
val encode : t -> int
val current : unit -> int
val has_been_encoded : t -> bool
module Done () : sig ... end