Module `V_lib_base.Tree`

val of_elem_data : string -> (string * string) list -> Label.t

val compare_node : 
  < data : < label : 'a.. >.. > ->
  < data : < label : 'a.. >.. > ->
  int

exception Found

exception Malformed_row of string

val get_lab : < data : < _label : Obj.t.. >.. > -> Label.t

val get_orig_lab_opt : 
  < data : < orig_lab_opt : Obj.t option.. >.. > ->
  Label.t option

val get_annotation : < data : < _annotation : Obj.t.. >.. > -> Label.annotation

class ordinal_tbl : int list -> object ... end

val null_ordinal_tbl : ordinal_tbl

class node_data : < ignore_identifiers_flag : bool
  ; weak_eq_flag : bool.. > -> ?annot:Label.annotation -> ?ordinal_tbl_opt:
  ordinal_tbl
    option -> ?orig_lab_opt:Label.t option -> ?id_loc:Diffast_misc.Loc.t -> 
  Label.t -> object ... end

val _mknode : 
  < ignore_identifiers_flag : bool
    ; uid_generator : Diffast_misc.UID.generator
    ; weak_eq_flag : bool.. > ->
  ?annot:Label.annotation ->
  ?ordinal_tbl_opt:ordinal_tbl option ->
  ?orig_lab_opt:Label.t option ->
  ?id_loc:Diffast_misc.Loc.t ->
  Label.t ->
  node_data Diffast_misc.Otree.node2 array ->
  node_data Diffast_misc.Otree.node2

val mknode : 
  < ignore_identifiers_flag : bool
    ; uid_generator : Diffast_misc.UID.generator
    ; weak_eq_flag : bool.. > ->
  ?annot:Label.annotation ->
  ?ordinal_tbl_opt:ordinal_tbl option ->
  ?orig_lab_opt:Label.t option ->
  ?id_loc:Diffast_misc.Loc.t ->
  Label.t ->
  node_data Diffast_misc.Otree.node2 list ->
  node_data Diffast_misc.Otree.node2

val mklnode : 
  < ignore_identifiers_flag : bool
    ; uid_generator : Diffast_misc.UID.generator
    ; weak_eq_flag : bool.. > ->
  ?annot:Label.annotation ->
  ?orig_lab_opt:Label.t option ->
  ?id_loc:Diffast_misc.Loc.t ->
  Label.t ->
  node_data Diffast_misc.Otree.node2 list ->
  node_data Diffast_misc.Otree.node2

val mkleaf : 
  < ignore_identifiers_flag : bool
    ; uid_generator : Diffast_misc.UID.generator
    ; weak_eq_flag : bool.. > ->
  ?annot:Label.annotation ->
  ?orig_lab_opt:Label.t option ->
  ?id_loc:Diffast_misc.Loc.t ->
  Label.t ->
  node_data Diffast_misc.Otree.node2

class node_maker : < ignore_identifiers_flag : bool
  ; uid_generator : Diffast_misc.UID.generator
  ; weak_eq_flag : bool.. > -> object ... end

type node_t = Diffast_core.Spec.node_t

val make_unparser : 
  ('a -> 'b) ->
  'a ->
  Diffast_core.Spec_base.OutChannel.t ->
  unit

class c : Diffast_core.Parser_options.c -> node_t -> bool -> object ... end

exception Ignore

val of_xnode : 
  ?tree_creator:
    (Diffast_core.Parser_options.c as 'a ->
      node_data Diffast_misc.Otree.node2 ->
      c) ->
  'b ->
  Diffast_misc.XML.node ->
  c

Install

Dune Dependency

Authors

Maintainers

Sources

doc/diffast-langs-verilog.base/Verilog_base/V_lib_base/Tree/index.html

Module `V_lib_base.Tree`

package diffast-langs-verilog

Install

Dune Dependency

Authors

Maintainers

Sources

doc/diffast-langs-verilog.base/Verilog_base/V_lib_base/Tree/index.html

Module V_lib_base.Tree

Module `V_lib_base.Tree`