Module Condition.HomeMadeMTBDD

module Condition = ConditionMy
module MakeConditionMap = MakeConditionMapMTBDD
module type SConditionMap = SConditionMapMTBDD
module ConditionMap = ConditionMapMTBDD