Module Ic.Aux

module Aux: sig .. end

type aux

Used to hold auxiliary datastructures.

val make_aux : Cfg.cfg ->
       Predicate.predicate_table ->
       Term.symbol_table -> NegativeUnits.store -> aux

Creates an aux for the given Cfg.cfg.