Numbering.ForOrderedType
module T : Map.OrderedType
type t = T.t
val encode : t -> int
val current : unit -> int
val has_been_encoded : t -> bool
module Done () : sig ... end