Module `V_fact.F`Source

Parameters

module L : V_label.T

Signature

module FB : sig ... end

Sourceval p_in_module : Diffast_core.Triple.node

Sourceval p_in_statement : Diffast_core.Triple.node

val node_filter : 
  < fact_restricted_flag : bool.. > ->
  < data : < _label : Obj.t.. >.. > ->
  bool

Source

val node_pair_filter : 
  < fact_restricted_flag : bool.. > ->
  < data : < _label : Obj.t.. >.. > ->
  < data : < _label : Obj.t.. >.. > ->
  bool

Source

class extractor : < fact_algo : Diffast_core.Triple.Xhash.algo
  ; fact_compress_flag : bool
  ; fact_compression : Diffast_core.Triple.C.c
  ; fact_enc : Diffast_core.Entity.encoding
  ; fact_for_ast_flag : bool
  ; fact_into_directory : string
  ; fact_into_virtuoso : string
  ; fact_proj : string
  ; fact_restricted_flag : bool
  ; fact_size_threshold : int
  ; fact_virtuoso_temp_dir : string
  ; local_cache_name : string
  ; verbose_flag : bool.. > -> string -> < encoded_source_digest : string
  ; find_true_parent : Diffast_misc.UID.t -> Diffast_core.Spec.node_t
  ; proj_root : string
  ; root : Diffast_core.Spec.node_t
  ; source_digest : Diffast_core.Triple.Xhash.t
  ; source_path : string
  ; version : string
  ; vkind : Diffast_core.Entity.vkind.. > -> object ... end

Source

val extract : 
  < fact_algo : Diffast_core.Triple.Xhash.algo
    ; fact_compress_flag : bool
    ; fact_compression : Diffast_core.Triple.C.c
    ; fact_enc : Diffast_core.Entity.encoding
    ; fact_for_ast_flag : bool
    ; fact_into_directory : string
    ; fact_into_virtuoso : string
    ; fact_proj : string
    ; fact_restricted_flag : bool
    ; fact_size_threshold : int
    ; fact_virtuoso_temp_dir : string
    ; local_cache_name : string
    ; verbose_flag : bool.. > ->
  string ->
  < encoded_source_digest : string
    ; find_true_parent : Diffast_misc.UID.t -> Diffast_core.Spec.node_t
    ; proj_root : string
    ; root : Diffast_core.Spec.node_t
    ; source_digest : Diffast_core.Triple.Xhash.t
    ; source_path : string
    ; version : string
    ; vkind : Diffast_core.Entity.vkind.. > ->
  unit

Install

Dune Dependency

Authors

Maintainers

Sources

doc/diffast-langs-verilog.base/Verilog_base/V_fact/F/index.html

Module `V_fact.F`Source

Parameters

Signature

package diffast-langs-verilog

Install

Dune Dependency

Authors

Maintainers

Sources

doc/diffast-langs-verilog.base/Verilog_base/V_fact/F/index.html

Module V_fact.FSource

Parameters

Signature

Module `V_fact.F`Source