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 (3)

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.3.5.1.tar.gz
sha256=6971a07313d308bdfcfe165fd76c218454826fe594acfa6ab25b0e7a1c739cb5
md5=be0348ed663151930bc8ced0ca678b60

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

Module V_label.ConcurrentAssertionSource

include module type of struct include Ls.ConcurrentAssertion end
Sourcetype t = Verilog_parsing.Labels.ConcurrentAssertion.t =
  1. | AssertProp
  2. | AssumeProp
  3. | CoverProp
  4. | CoverSeq
  5. | RestrictProp
Sourceval to_string : t -> string
Sourceval to_simple_string : t -> string
Sourceval to_tag : t -> string * 'a list
Sourceval to_short_string : t -> string