Module Frama_c_kernel.Field

module type S = sig ... end