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