Module Frama_c_kernel.Offsetmap_lattice_with_isotropy

Type of the arguments of functor Offsetmap.Make

module type S = sig ... end