package diffast-langs-verilog

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

Install

Dune Dependency

Authors

Maintainers

Sources

v0.1.1.tar.gz
sha256=2b36318d1317efb4e3ae71727934aa8883dde49ad5dd71d85df6a9b9b10bfe0a
md5=a0d35178f15cd2d2a3b907a0bbcc959c

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
OCaml

Innovation. Community. Security.