package bddapron

  1. Overview
  2. Docs
package bddapron
Legend:
Library
Module
Module type
Parameter
Class
Class type
type (!'a, !'b) man = {
  1. man : ('a, 'b) Mtbdddomain0.man;
  2. papron : 'b Apron.Policy.man;
  3. ptable : 'b DPolicy.table;
  4. betable : 'a DDDnf.table;
  5. symbol : 'a Env.symbol;
}
type 'a t = 'a DPolicy.t Cudd.Mtbdd.t