diffast-langs-verilog.base
V_label.ConcurrentAssertion
diffast-langs-verilog
diffast-langs-verilog.p
include module type of struct include Ls.ConcurrentAssertion end
type t = Verilog_parsing.Labels.ConcurrentAssertion.t =
| AssertProp
| AssumeProp
| CoverProp
| CoverSeq
| RestrictProp
val to_string : t -> string
val to_simple_string : t -> string
val to_tag : t -> string * 'a list
val to_short_string : t -> string