package diffast-core

  1. Overview
  2. Docs
package diffast-core
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Class Fact_base.fact_store

method id : string
method warning_msg : 'a. ('a, unit, string, unit) format4 -> 'a
method verbose_msg : 'a. ('a, unit, string, unit) format4 -> 'a
val a_fact_buf_tbl : unified_fact_buffer_tbl
method close : unit
method add : Diffast_core.Triple.t -> unit
method add_group : Diffast_core.Triple.t list -> unit
method add_a : string -> Diffast_core.Triple.t list -> unit
method add_vg : string -> Diffast_core.Triple.t -> Diffast_core.Triple.node -> unit
method _set_version : (Diffast_core.Entity.vkind * string) -> Diffast_core.Triple.node -> unit
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