Module ModelChecker
module ModelChecker:Model Checker.sig..end
This module defines the interface of model-checking engines, as a functor
taking as argument a module for the model to be model-checked, and returning
a module with a model-checking function. The interface used for models is
defined in the Model module.
module type S =functor (A:Model.S) ->sig..end