Previous  Up  Next

Module Context_unifier_search (.ml)


module Context_unifier_search: sig .. end
search for context unifiers

Types

type config = Config.config 
type bound = Bound.bound 
type subst = Subst.subst 
type context = Context.context 
type context_unifier_space = Context_unifier.context_unifier_space 
type context_partner = Context_unifier.context_partner 
type context_partners = Context_unifier.context_partners

Search


module type Search = sig .. end
signature for context unifier search. 
module SearchClose: Search
search for Close context unifiers only. 
module SearchAssert: Search
search for Assert context unifiers only. 
module SearchSplit: Search
search for Split context unifiers only. 
module SearchCloseAssert: Search
search for Assert and Close context unifiers only. 
module SearchAll: Search
search for Assert, Close, and Split context unifiers.