Module CfgProof


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) ->
functor (Descr : Description) -> sig .. end