Module Transfer_functions.Choice

type t = private int
val fresh : level:int -> t
val get_level : t -> int