Module Condition.CuddPIMTBDD

module Condition = ConditionCudd
module ConditionMap : sig ... end
module MakeConditionMap = MakeConditionMapCuddMTBDD
module type SConditionMap = SConditionMapCuddMTBDD