Module Frama_c_kernel.Linear_filter

module Make (Field : Field.S) : sig ... end