diffast-langs-verilog.base
V_label.SimpleImmediateAssertion
diffast-langs-verilog
diffast-langs-verilog.p
include module type of struct include Ls.SimpleImmediateAssertion end
type t = Verilog_parsing.Labels.SimpleImmediateAssertion.t =
| Assert
| Assume
| Cover
val to_string : t -> string
val to_simple_string : t -> string
val to_tag : t -> string * 'a list
val to_short_string : t -> string