package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Frama_c_kernel.Lmap_sig

Signature for maps from bases to memory maps. The memory maps are intended to be those of the Offsetmap module.

module type S = sig ... end