module Make:
Parameters: |
|
module WP:sig
..end
module Export:sig
..end
module Coq:Export.Create
(
Fol_coq
)
module Why:Export.Create
(
Fol_why
)
module Ergo91:Export.Create
(
Fol_ergo.E91
)
module Ergo92:Export.Create
(
Fol_ergo.E92
)
module Splitter:sig
..end