Module Condition.CuddPITree

module Condition = ConditionCudd
module ConditionMap : sig ... end
module MakeConditionMap = MakeConditionMapCuddTree
module type SConditionMap = SConditionMapCuddTree