package diffast-langs-verilog

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

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (5)

Authors

  1. C
    Codinuum <codinuum@me.com>
  2. M
    Masatomo Hashimoto <m.hashimoto@stair.center>

Maintainers

  1. C
    Codinuum <codinuum@me.com>
  2. M
    Masatomo Hashimoto <m.hashimoto@stair.center>

Sources

v0.4.tar.gz
sha256=f58dc5326c1698e22b84e3b808e6008228071f5796cda65433106e0d42c0dad5
sha512=8e451ab99433ef479c7d3aa0396bab6650894a2c3282e72cc65014d61f59dde578020d4bc9d423045e66d1d4592b58e877d7bd830788aeb96e5fa4ba534b4b78

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