Module Constraints.Id

type 'a t
val to_int : 'a t -> int