package diffast-core

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

Class Fact_base.unified_fact_buffer_tbl

inherit fact_buffer_tbl
val mutable _buf : Diffast_core.Triple.buffer_base
method find : string -> Diffast_core.Triple.buffer
method add : string -> Diffast_core.Triple.buffer -> unit
method iter : (string -> Diffast_core.Triple.buffer -> unit) -> unit