Module Mwp


module Mwp: sig .. end
Model for the interpretation of ACSL/C

module type Export = sig .. end
module type S = sig .. end