diffast-langs-verilog-parsing 0.1.1

type t =

| Dummy
| Error
| Empty
| SourceText
| LibraryText
| CompilerDirective of Labels.CompilerDirective.t
| ModuleDeclaration of Labels.ModuleSpec.t * Common.identifier
| UdpDeclaration of Common.identifier
| NetDeclaration of Common.identifier list
| BindDirective of Common.identifier
| Expr of Labels.Expression.t
| Stmt of Labels.Statement.t
| NetType of Labels.NetType.t
| LocalParameterDeclaration of Common.identifier list
| ParameterDeclaration of Common.identifier list
| ParameterPortDeclaration
| ModuleBody
| Instantiation of Common.identifier
| GateInstantiation of Labels.Gate.t
| ContinuousAssign
| Assign
| ConcurrentAssertionItem
| DeferredImmediateAssertionItem
| PpIdentifier of Common.identifier
| PackedDimension
| ParamAssignment of Common.identifier
| DefparamAssignment
| IdSelect of Common.identifier
| Select
| Range
| RangePlus
| RangeMinus
| RangeForeach
| Root
| This
| Super
| Cellpin of Common.identifier
| CellpinStar
| CellpinAnon
| DelayValue of Common.identifier
| PackageScope of Common.identifier
| PackageScopeUnit
| PackageScopeLocal
| PackageImport of Common.identifier
| PackageImportAny
| LifetimeStatic
| LifetimeAutomatic
| EndLabel of Common.identifier
| EndLabelNew
| ClassType of Common.identifier
| DataType of Labels.DataType.t
| ImplicitDataType
| VarDeclAssignments
| Signed
| Unsigned
| ArgsDotted of Common.identifier
| Tagged
| StructUnionBody
| StructUnionMember
| ClassScopeId of Common.identifier
| Void
| EnumNameDeclaration of Common.identifier
| EnumBody
| IdClassSel of Common.identifier
| Variable of Common.identifier
| Extern
| PackageImportDeclaration
| PackageImportItem of Common.identifier
| Packed
| ParameterValueAssignment
| Ports
| PortsStar
| BitSelect
| VariableDeclAssignment of Common.identifier
| DynamicArrayNew
| VariableDimension
| VariableDimensionStar
| GenItemBegin
| GenBlockId of Common.identifier
| GenerateRegion
| Scalared
| Vectored
| DelayControl
| NetSig of Common.identifier
| ParameterOverride
| PortDeclaration
| PortDirection of Labels.PortDirection.t
| Strength of Labels.Strength.t
| StrengthSupply0
| StrengthSupply1
| StrengthSpec
| VarDataType
| Port of Common.identifier
| InterfacePort of Common.identifier
| InterfacePortInterface
| ModportIdentifier of Common.identifier
| PortMulti
| ExprScope
| ExprScopeThis
| ExprScopeSuper
| ExprScopeDot
| ExprScopeDotSuper
| CondPredicate
| CondPattern
| Dist
| DistItem
| DistWeight
| DistWeightRange
| ArrayRange
| ArrayRangePlus
| ArrayRangeMinus
| CastingTypeSimple
| CastingTypeSigned
| CastingTypeUnsigned
| CastingTypeString
| CastingTypeConst
| ValueRange
| Pattern
| PatternId of Common.identifier
| PatternStar
| PatternTagged of Common.identifier
| EventControl
| EventControlStar
| EventControlParenStar
| EventControlRepeat
| EvExpr of Labels.EventExpression.t
| CaseItem
| CaseItemDefault
| CaseInsideItem
| CaseInsideItemDefault
| CaseItems
| CaseItemsMatches
| CaseItemsInside
| With
| Args
| ConstraintBlock
| ForInit
| ForInitItemDT of Common.identifier
| ForInitItemLval
| StreamingConcat
| OrderRL
| OrderLR
| StreamConcat
| Solve
| SolveBefore
| ActionBlock
| CycleDelay of string
| CycleDelayId of Common.identifier
| CycleDelayParen
| Priority
| Unique
| Unique0
| InstRange
| InstName of Common.identifier
| PExpr of Labels.PropertyExpression.t
| ClockingEvent of Common.identifier
| ClockingEventParen
| PropertyCase
| PropertyCaseDefault
| DisableIff
| CycleDelayRange of string
| CycleDelayRangeId of Common.identifier
| CycleDelayRangeParen
| CycleDelayRangeBracket
| CycleDelayRangeBracketStar
| CycleDelayRangeBracketPlus
| SExpr of Labels.SequenceExpression.t
| ConsecutiveRepetition
| NonconsecutiveRepetition
| GotoRepetition
| NetAlias
| InitialConstruct
| FinalConstruct
| AlwaysConstruct of Labels.AlwaysSpec.t
| ConcurrentAssertionItemLabeled of Common.identifier
| ConcurrentAssertionStmt of Labels.ConcurrentAssertion.t
| DeferredImmediateAssertionItemLabeled of Common.identifier
| DeferredImmediateAssertionStmt of Labels.DeferredImmediateAssertion.t
| SimpleImmediateAssertionStmt of Labels.SimpleImmediateAssertion.t
| CheckerInstantiation of Common.identifier
| LoopGenerateConstruct
| GenvarDeclaration of Common.identifier list
| GenvarIterationAssign of Labels.AssignmentOperator.t * Common.identifier
| GenvarIterationIncOrDec of Labels.IncOrDecOperator.t * Common.identifier
| GenvarIdDecl of Common.identifier
| GenvarInitId of Common.identifier
| GenvarInit
| SpecifyBlock
| SpecparamDeclaration
| SpecparamAssignmentId of Common.identifier
| SpecparamAssignmentPulseControl of Common.identifier
| PulsestyleDeclarationOnevent
| PulsestyleDeclarationOndetect
| ShowcancelledDeclaration
| NoshowcancelledDeclaration
| SpecifyTerminalDescriptor
| InputOrOutputId of Common.identifier
| InterfaceIdentifier of Common.identifier
| ProgramDeclaration of Common.identifier
| InterfaceDeclaration of Common.identifier
| InterfaceDeclarationExtern of Common.identifier
| TimeUnitsDeclaration
| TimeUnit of string
| Timeprecision of string
| PackageDeclaration of Common.identifier
| AnonymousProgram
| AnonymousProgramItemEmpty
| FunctionDeclaration of Common.identifier
| FunctionPrototype of Common.identifier
| FuncId of Common.identifier
| FuncIdVoid of Common.identifier
| FuncIdNew
| TfIdScoped of Common.identifier
| TaskDeclaration of Common.identifier
| TaskPrototype of Common.identifier
| ClassCtorPrototype
| TfPortListPart
| TfBody
| TfPortDeclaration
| TfPortItemAssignment of Common.identifier
| TfPortItem
| TfVariableIdentifier of Common.identifier
| CheckerDeclaration of Common.identifier
| PropertyDeclaration of Common.identifier
| PropertyDeclBody
| PropertyPortItem
| PropertyPortItemDir
| PropertyPortItemAssignment of Common.identifier
| SequenceDeclaration of Common.identifier
| SequenceDeclBody
| LetDeclaration of Common.identifier
| PropertyStatementSpec
| AssertionVariableDeclaration
| SequenceFormalTypeSequence
| SequenceFormalTypeUntyped
| DataDeclarationVar
| Const
| DataDeclarationVarClass
| TypeDeclaration of Common.identifier
| ScopedType of Common.identifier
| TypeIdentifier of Common.identifier
| TypeDeclEnum
| TypeDeclStruct
| TypeDeclUnion
| TypeDeclClass
| VirtualInterfaceDeclaration of Common.identifier
| ModportDeclaration of Common.identifier list
| ModportItem of Common.identifier
| ModportSimplePortsDecl
| ModportClockingDecl of Common.identifier
| ModportTfPortsDeclImport
| ModportTfPortsDeclExport
| ModportSimplePort of Common.identifier
| ModportSimplePortDot of Common.identifier
| ModportTfPort of Common.identifier
| CovergroupDeclaration of Common.identifier
| Paren
| CoverageOption of Common.identifier * Common.identifier
| CoverPoint
| CoverPointLabeled of Common.identifier
| CoverCross
| CoverCrossLabeled of Common.identifier
| CrossItem of Common.identifier
| Iff
| BinsList
| BinsEmpty
| SelectBins
| SelectBinsEmpty
| Bins of Labels.BinsSpec.t * Common.identifier
| BinsSelection of Labels.BinsSpec.t * Common.identifier
| BinsExpressionVar of Common.identifier
| BinsExpression of Common.identifier * Common.identifier
| NBins
| SelCondBinsof
| SelExprNot
| SelExprAnd
| SelExprOr
| SelExprParen
| Intersect
| Wildcard
| TransSet
| TransRangeList
| RepeatRange
| TransItem
| TransRepetitionConsecutive
| TransRepetitionNonconsecutive
| TransRepetitionGoto
| Default
| DefaultSequence
| OpenRangeList
| CoverageEventWith of Common.identifier
| CoverageEventBlockEvent
| BlockEventExpression
| BlockEventExpressionBegin
| BlockEventExpressionEnd
| HierarchicalBtfIdentifier of Common.identifier
| PackageExportDeclarationStar
| PackageExportDeclaration
| DpiImport of string
| DpiExportFunc of string * Common.identifier
| DpiExportTask of string * Common.identifier
| DpiImportLabel of Common.identifier
| DpiTfImportPropertyContext
| DpiTfImportPropertyPure
| ExternConstraintDeclaration
| Static
| Virtual
| ClassDeclaration of Common.identifier
| ClassExtends
| ClassItemEmpty
| ClassMethod
| Qualifier of Labels.Qualifier.t
| ClassBody
| ClassConstraint of Common.identifier
| Pure
| ClassProperty
| PackageOrGenerateItemEmpty
| Forkjoin
| ExternTfDeclaration of Common.identifier
| TimingCheck of Labels.TimingCheck.t
| SystemTimingCheck
| Notifier of Common.identifier
| Delayed of Common.identifier
| TimingCheckEvent
| TimingCheckEventControlPosedge
| TimingCheckEventControlNegedge
| TimingCheckEventControl
| EdgeDescriptor of string
| OverloadDeclaration of Labels.OverloadOperator.t * Common.identifier
| Params
| ClockingDeclaration of Common.identifier
| Global
| ClockingBody
| ClockingItemDefault
| ClockingItem
| DefaultSkewInput
| DefaultSkewOutput
| DefaultSkewInputOutput
| ClockingDirectionInput
| ClockingDirectionInputOutput
| ClockingDirectionInout
| ClockingSkewPosedge
| ClockingSkewNegedge
| ClockingSkewEdge
| ClockingSkew
| ClockingDeclAssign of Common.identifier
| Production of Common.identifier
| ProductionItem of Common.identifier
| RsCodeBlock
| RsRule
| RsProductionList
| RsProductionListRandJoin
| WeightSpecInt of string
| WeightSpecId
| WeightSpec
| RsProdIf
| RsProdRepeat
| RsProdCase
| RsCaseItem
| RsCaseItemDefault
| CheckerOrGenerateItemEmpty
| ConditionalGenerateConstructCase
| ConditionalGenerateConstructIf
| ElaborationSystemTask of Labels.SystemTask.t
| CaseGenerateItem
| CaseGenerateItemDefault
| AssignmentPattern
| AssignmentPatternExpr
| PatternKey
| PatternKeyDefault
| PatternMember
| SimplePathDeclaration
| ParallelPathDescription
| FullPathDescription
| PathInputs
| PathOutputs
| PathDelayValue
| PolarityPlus
| PolarityMinus
| EdgePosedge
| EdgeNegedge
| EdgeSensitivePathDeclaration
| ParallelEdgeSensitivePathDescription
| FullEdgeSensitivePathDescription
| ParallelEdgeSensitivePathDescriptionSub
| FullEdgeSensitivePathDescriptionSub
| StateDependentPathDeclarationIf
| StateDependentPathDeclarationIfnone
| VariableLvalue
| AttributeInstance
| AttrSpec of Common.identifier
| UdpPort of Common.identifier
| UdpPortDeclaration
| UdpOutputDeclaration of Common.identifier
| UdpOutputDeclarationReg of Common.identifier
| UdpInputDeclaration
| UdpRegDeclaration of Common.identifier
| SequentialBody
| CombinationalBody
| UdpInitialStmt of Common.identifier * string
| SequentialEntry
| EdgeIndicator
| EdgeSymbol of string
| LevelSymbol of string
| OutputSymbol of string
| CombinationalEntry
| NextStateMinus
| UdpPortsStar
| UdpPorts
| UdpPortDecls
| UdpDeclarationPorts
| AttributeInstances
| ConfigDeclaration of Common.identifier
| DesignStatement
| CellId of Common.identifier
| LibraryIdentifier of Common.identifier
| LiblistClause
| CellClause of Common.identifier
| UseClause
| ColonConfig
| InstanceName
| InstanceIdentifier of Common.identifier
| TopModuleIdentifier of Common.identifier
| InstClause
| ConfigRuleStatementDefault
| ConfigRuleStatement
| LibraryDeclaration of Common.identifier
| Incdir
| FilePathSpec of string
| IncludeStatement of string
| PragmaExpression of Common.identifier
| PragmaValueTuple
| PragmaValueNum of string
| PragmaValueStr of string
| PragmaValueId of Common.identifier
| PackageImportDecls
| ParamPorts
| Ranges
| VariableDimensions
| CaseConds
| NetDeclAssignments of Common.identifier list
| ParamAssignments of Common.identifier list
| MacroExpr of string
| MacroStmt of string
| Var

val to_string : t -> string

val to_simple_string : t -> Common.identifier

val to_tag : ?strip:bool -> t -> string * (string * Common.identifier) list

val get_identifiers : t -> Common.identifier list

val get_identifier : t -> Common.identifier

val pexpr_to_stmt : t -> t

val expr_to_stmt : t -> t

val expr_of_integral_number : string -> t

val expr : Labels.Expression.t -> t

val expr_uo : Verilog_parsing__Labels.UnaryOperator.t -> t

val expr_bo : Verilog_parsing__Labels.BinaryOperator.t -> t

val expr_ao : Verilog_parsing__Labels.AssignmentOperator.t -> t

val pexpr : Labels.PropertyExpression.t -> t

val sexpr : Labels.SequenceExpression.t -> t

val ev_expr : Labels.EventExpression.t -> t

val stmt : Labels.Statement.t -> t

val stmt_ao : Verilog_parsing__Labels.AssignmentOperator.t -> t

val sia_stmt : Labels.SimpleImmediateAssertion.t -> t

val dia_stmt : Labels.DeferredImmediateAssertion.t -> t

val ca_stmt : Labels.ConcurrentAssertion.t -> t

val qualifier : Labels.Qualifier.t -> t

val timing_check : Labels.TimingCheck.t -> t

val data_type : Labels.DataType.t -> t

val net_type : Labels.NetType.t -> t

val compiler_directive : Labels.CompilerDirective.t -> t

val is_error : t -> bool

package diffast-langs-verilog-parsing