Module Labels.TimingCheckSource

Sourcetype t =
  1. | Setup
  2. | Hold
  3. | Recovery
  4. | Removal
  5. | Skew
  6. | Setuphold
  7. | Recrem
  8. | Timeskew
  9. | Fullskew
  10. | Period
  11. | Width
  12. | Nochange
  13. | Anonymous
Sourceval to_string : t -> string
Sourceval to_simple_string : t -> string
Sourceval get_name : t -> string
Sourceval to_tag : t -> string * 'a list