Module Cegar


module Cegar: sig .. end

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