diffast-langs-verilog 0.1.1

val mkextname : ?lang:string -> string -> Diffast_core.Triple.node

val mutable lang_prefix : string

val hash_algo : string

val mutable fileentity : Diffast_core.Triple.node

val fid_str : string

val fact_buf : Diffast_core.Triple.buffer_virtuoso

val enc_str : string

val a_fact_buf_tbl : Diffast_core__Fact_base.unified_fact_buffer_tbl

method _set_file_location : (Diffast_core.Entity.vkind * string) ->
  Diffast_core.Triple.node ->
  string ->
  unit

method _set_ver_class : (Diffast_core.Entity.vkind * string) -> unit

method _set_version : (Diffast_core.Entity.vkind * string) ->
  Diffast_core.Triple.node ->
  unit

method add : Diffast_core.Triple.t -> unit

method add_a : string -> Diffast_core.Triple.t list -> unit

method add_group : Diffast_core.Triple.t list -> unit

method add_surrounding_xxx : (L.t -> bool) ->
  Diffast_core.Spec.node_t ->
  Diffast_core.Triple.node ->
  Diffast_core.Triple.node ->
  unit

method add_vg : string ->
  Diffast_core.Triple.t ->
  Diffast_core.Triple.node ->
  unit

method close : unit

method extract : unit

method extract_before_scan : unit

method fileentity : Diffast_core.Triple.node

method get_tree_digest : Diffast_core.Spec.node_t -> string

method id : string

method mkbinding : ?loc_opt:Diffast_core.Triple.Loc.t option ->
  Diffast_core.Triple.BID.t ->
  Diffast_core.Triple.node

method mkentity : Diffast_core.Spec.node_t -> Diffast_core.Triple.node

method mkextname : string -> Diffast_core.Triple.node

method scan : ?parent_ent:Diffast_core.Triple.node option ->
  Diffast_core.Spec.node_t ->
  Diffast_core.Triple.node list

method scanner_body_after_subscan : Diffast_core.Spec.node_t ->
  L.t ->
  Diffast_core.Triple.node ->
  unit

method scanner_body_before_subscan : Diffast_core.Spec.node_t ->
  L.t ->
  Diffast_core.Triple.node ->
  unit

method set_file_location : Diffast_core.Triple.node -> unit

method set_lang_prefix : string -> unit

method set_version : Diffast_core.Triple.node -> unit

method verbose_msg : 'a. ('a, unit, string, unit) format4 -> 'a

method warning_msg : 'a. ('a, unit, string, unit) format4 -> 'a

package diffast-langs-verilog