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