package diffast-langs-verilog

You can search for identifiers within the package.

in-package search v0.2.0

Verilog parser plugin for Diff/AST

Install

sha256=2b36318d1317efb4e3ae71727934aa8883dde49ad5dd71d85df6a9b9b10bfe0a

md5=a0d35178f15cd2d2a3b907a0bbcc959c

module Astml = Diffast_core.Astml

module Triple = Diffast_core.Triple

module Fact_base = Diffast_core.Fact_base

Sourcemodule Common = Verilog_parsing.Common

Sourcemodule F (L : V_label.T) : sig ... end