package bddapron

  1. Overview
  2. Docs
package bddapron
Legend:
Library
Module
Module type
Parameter
Class
Class type
type !'a t = {
  1. hash : int;
  2. dpolicy : 'a Apron.Policy.t Bdd.Normalform.disjunction;
}
type 'a table = 'a t Cudd.Mtbdd.table