Module Condition.CuddPITree

module Condition = ConditionCudd

module ConditionMap : sig ... end

module MakeConditionMap = MakeConditionMapCuddTree

module type SCONDITIONMAP = SCONDITIONMAP_CUDD_TREE