Module Selection_types (.ml)

module Selection_types: sig .. end

common types for selection modules

type literal = Term.literal

type choice_point = State.choice_point

type raw_context_unifier = Context_unifier.raw_context_unifier

type selected = {

`candidate_type : State.literal_type;`	`(*`	what type of candidate?	`*)`
`literal : literal;`	`(*`	the literal to add to the context.	`*)`
`raw_context_unifier : raw_context_unifier;`	`(*`	the context unifier from which this candidate was computed.	`*)`

}

a selected candidate