Module Transfer_functions.Condition

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