Module Condition.CuddPIMTBDD

module Condition = ConditionCudd

module ConditionMap : sig ... end

module MakeConditionMap = MakeConditionMapCuddMTBDD

module type SCONDITIONMAP = SCONDITIONMAP_CUDD_MTBDD