module ID = struct
  (** *)
  type t = int

  let create num = num

  let validate rules id = List.fold_left (fun acc r -> acc && r id) true rules

  let incr = ( + ) 1

  let to_int id = id

  let to_string = string_of_int

  let pp id = "ID=" ^ string_of_int id
end