Frama_c_kernel.Offsetmap_lattice_with_isotropy
Type of the arguments of functor Offsetmap.Make
Offsetmap.Make
module type S = sig ... end