DECBDDREFEXT(3) - Linux manual page online | Library functions

Decrements the external reference of a bdd node.