module CfgProof: sig
.. end
Shared resource basename for the model
class type computer = object
.. end
module type Description = sig
.. end
module Create: functor (
WpModel
:
Mwp.S
) ->
functor (
Why
:
Mcfg.Export
with type pred = WpModel.D.F.pred
) ->
functor (
Coq
:
Mcfg.Export
with type pred = WpModel.D.F.pred
) ->
functor (
Ergo91
:
Mcfg.Export
with type pred = WpModel.D.F.pred
) ->
functor (
Ergo92
:
Mcfg.Export
with type pred = WpModel.D.F.pred
) ->
functor (
Splitter
:
Mcfg.Splitter
with type pred = WpModel.D.F.pred
) ->