Module Transfer_functions.MakeId

Parameters

Signature

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