Module Mlogic


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

module type S = sig .. end