package diffast-langs-verilog

  1. Overview
  2. Docs
Verilog parser plugin for Diff/AST

Install

Dune Dependency

Authors

Maintainers

Sources

v0.2.tar.gz
sha256=b5bc3e9ed7c92912e06be663c904b6d8c7d277828b6442e43d57c64414d9c5ab
md5=7404586197ede6a4f0a0d00a69069b37

doc/diffast-langs-verilog.base/Verilog_base/V_label/TimingCheck/index.html

Module V_label.TimingCheckSource

include module type of struct include Ls.TimingCheck end
Sourcetype t = Verilog_parsing.Labels.TimingCheck.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
Sourceval anonymize : t -> t
Sourceval to_short_string : t -> string
OCaml

Innovation. Community. Security.