Module Log (.ml)

module Log: sig .. end

Types

type literal = Term.literal 

type config = Config.config 

type state = State.state 

type choice_point = State.choice_point 

type context = Context.context 

type raw_context_unifier = Context_unifier.raw_context_unifier 

type selected = Selection_types.selected 

class type log = object .. end

Functions

val create : config -> state -> context -> log