Module Access.Reader

module Reader: sig .. end

type reader 

val make_readers : Access.Writer.writer -> reader list

val null_reader : unit -> reader

val applicability : reader -> Opt.binding_pattern -> Opt.applicability_value

val iter_unification_candidates : (Fact.entry -> unit) ->
       reader -> Term.term -> Term.context -> unit

val iter_instance_candidates : (Fact.entry -> unit) ->
       reader -> Term.term -> Term.context -> unit

val iter_generalization_candidates : (Fact.entry -> unit) ->
       reader -> Term.term -> Term.context -> unit

val iter_all : (Fact.entry -> unit) -> reader -> unit

val get_indexargs : reader -> Opt.indexargs

val print_info : reader -> unit