Module Log (.ml)


module Log: sig .. end
derivation log


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
prints the current derivation.

Functions

val create : config -> state -> context -> log
provides various ways to print the current derivation. Creates a log suite based on the config settings, see: