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