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