Functor TraceChecker.T
module T:Common interface to all trace-checking engines.
Parameters: |
|
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.