package jazz.circuit.bdd {
  class Bdd;
}