Functor TraceChecker.T


module T: 
functor (A : Model.SEMANTICS_CLOSURE) -> sig .. end
Common interface to all trace-checking engines.
Parameters:
A : Model.SEMANTICS_CLOSURE

module Atom: sig .. end
Union type for the possible basic elements composing a trace.
module Trace: sig .. end
A trace is a finite sequence of atoms.
module Result: sig .. end
Type of possible results for the trace-checking function.