package bddapron

  1. Overview
  2. Docs
type !'a t = {
  1. hash : int;
  2. dpolicy : 'a Apron.Policy.t Bdd.Normalform.disjunction;
}
type 'a table = 'a t Cudd.Mtbdd.table
OCaml

Innovation. Community. Security.