module Cegar: sig .. end
sig
end
module Make: functor (E : TraceChecker.S) -> ModelChecker.S
functor (
E
:
TraceChecker.S
) ->
ModelChecker.S