module Xhash = Diffast_misc.Xhashmodule Xprint = Diffast_misc.Xprintmodule Otree = Diffast_misc.Otreemodule Loc = Diffast_misc.Locval mkver : Entity.vkind -> string -> Triple.nodeval mklit : ?ty:Triple.lit_ty -> string -> Triple.nodeval p_is_a : Triple.nodeval p_version : Triple.nodeval p_file_location : Triple.nodeclass virtual fact_buffer_tbl : object ... endclass separate_fact_buffer_tbl : object ... endclass unified_fact_buffer_tbl : object ... endval _apply_to_vkey_v :
Entity.vkind ->
string ->
(Entity.vkind -> string -> Triple.node -> unit) ->
unitval create_fact_buf :
< fact_compression : Diffast_core.Triple.C.c
; fact_into_directory : string
; fact_into_virtuoso : string
; fact_size_threshold : int
; fact_virtuoso_temp_dir : string
; local_cache_name : string
; verbose_flag : bool.. > ->
?acquire_lock:(unit -> unit) ->
?fact_file_path:string ->
?cache_name:string ->
into_virtuoso:bool ->
into_directory:bool ->
string ->
Triple.buffer_virtuosoclass fact_store : ?lock:bool option -> < fact_compression : Diffast_core.Triple.C.c
; fact_into_directory : string
; fact_into_virtuoso : string
; fact_size_threshold : int
; fact_virtuoso_temp_dir : string
; local_cache_name : string
; verbose_flag : bool.. > -> string -> object ... endmodule F (L : Spec.LABEL_T) : sig ... end