PulseBasicInterface (infer.Pulselib.PulseBasicInterface)

module AbstractValue = PulseAbstractValue

module Access = PulseAccess

module AccessSet = PulseAccess.Set

module Attribute = PulseAttribute

module Attributes = PulseAttribute.Attributes

module CallEvent = PulseCallEvent

module Formula = PulseFormula

module Invalidation = PulseInvalidation

module SatUnsat = PulseSatUnsat

module SkippedCalls = PulseSkippedCalls

module TaintConfig = PulseTaintConfig

module TaintItem = PulseTaintItem

module Timestamp = PulseTimestamp

module Trace = PulseTrace

module TransitiveInfo = PulseTransitiveInfo

module ValueHistory = PulseValueHistory

module CellId = ValueHistory.CellId

module ValueOrigin = PulseValueOrigin

include module type of struct include SatUnsat.Types end

for opening to get Sat and Unsat in the namespace

type nonrec unsat_info = PulseSatUnsat.unsat_info = {

}

type 'a sat_unsat_t = 'a PulseSatUnsat.t =

val equal_sat_unsat_t : 
  ('a -> 'a -> bool) ->
  'a sat_unsat_t ->
  'a sat_unsat_t ->
  bool

include sig ... end

module PulseAbstractValue = PulseAbstractValue

module PulseAttribute = PulseAttribute

module PulseCallEvent = PulseCallEvent

module PulseInvalidation = PulseInvalidation

module PulseTimestamp = PulseTimestamp

module PulseSkippedCalls = PulseSkippedCalls

module PulseTaintConfig = PulseTaintConfig

module PulseTaintItem = PulseTaintItem

module PulseTrace = PulseTrace

module PulseValueHistory = PulseValueHistory

module PulseSatUnsat = PulseSatUnsat