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/PropertyExpression/index.html

Module V_label.PropertyExpressionSource

include module type of struct include Ls.PropertyExpression end
Sourcetype t = Verilog_parsing.Labels.PropertyExpression.t =
  1. | Not
  2. | Strong
  3. | Weak
  4. | ImplicationOverlapped
  5. | ImplicationNonOverlapped
  6. | SharpMinusSharp
  7. | SharpEqSharp
  8. | Nexttime
  9. | S_nexttime
  10. | Always
  11. | S_always
  12. | Eventually
  13. | S_eventually
  14. | Until
  15. | S_until
  16. | Until_with
  17. | S_until_with
  18. | Implies
  19. | Iff
  20. | Accept_on
  21. | Sync_accept_on
  22. | Reject_on
  23. | Sync_reject_on
  24. | If
  25. | Case
  26. | Spec
Sourceval to_string : t -> string
Sourceval to_simple_string : t -> string
Sourceval to_tag : t -> string * 'a list
Sourceval get_identifier : 'a -> 'b
Sourceval to_short_string : t -> string