Module Dse

module Dse: sig .. end

module DSE: 
functor (TraceDSE_v : TypeTraceDSE.TypeTraceDSE) ->
functor (HistoryDSE_v : TypeHistoryDSE.TypeHistoryDSE) ->
functor (CriteriaDSE_v : TypeCriteriaDSE.TypeCriteriaDSE) ->
functor (GuideDSE_v : TypeGuideDSE.TypeGuideDSE) -> sig .. end
module DfsDSE: DSE(TraceAsFile.TraceAsFile)(HistoryAsTree.HistoryAsTree)(CriteriaAsDefault.CriteriaAsDefault)(GuideAsDFS.GuideAsDFS)
module DfsDSETree: DSE(TraceAsFile.TraceAsFile)(HistoryAsTree.HistoryAsTree)(CriteriaAsDefault.CriteriaAsDefault)(GuideAsDFS.GuideAsDFS)
module BfsDSE: DSE(TraceAsFile.TraceAsFile)(HistoryAsTree.HistoryAsTree)(CriteriaAsDefault.CriteriaAsDefault)(GuideAsBFS.GuideAsBFS)
module RandomDSE: DSE(TraceAsFile.TraceAsFile)(HistoryAsTree.HistoryAsTree)(CriteriaAsDefault.CriteriaAsDefault)(GuideAsRandom.GuideAsRandom)
module UAFDSE: DSE(TraceAsFile.TraceAsFile)(HistoryAsTree.HistoryAsTree)(CriteriaAsUAF.CriteriaAsUAF)(GuideAsUAF.GuideAsUAF)
module GuideAsStrcmpUAF: GuideAsStrcmp.GuideAsStrcmp(GuideAsUAF.GuideAsUAF)
module UafStrcmpDSE: DSE(TraceAsFile.TraceAsFile)(HistoryAsTree.HistoryAsTree)(CriteriaAsUAF.CriteriaAsUAF)(GuideAsStrcmpUAF)