module CfgWeakestPrecondition: sig .. end
sig
end
module Create: functor (WpModel : siginclude Mwp.S val model : stringend) -> sig .. end
functor (
WpModel
:
include Mwp.S
val model : string
string
) ->