Frama-C API - Segmentation
module type Config = sig ... endmodule Bound : sig ... endmodule type Segmentation = sig ... endmodule Make (_ : Config) (M : Abstract_memory.ProtoMemory) : Segmentation with type submemory = M.t
Frama-C Frama-C Segmentationmodule type Config = sig ... endmodule Bound : sig ... endmodule type Segmentation = sig ... endmodule Make (_ : Config) (M : Abstract_memory.ProtoMemory) : Segmentation with type submemory = M.t