List_functions.stmt_count_visitor
inherit Frama_c_kernel.Visitor.frama_c_inplace
val count : int Stdlib.ref
method vstmt_aux : Frama_c_kernel.Cil_types.stmt -> Frama_c_kernel.Cil_types.stmt Frama_c_kernel.Cil.visitAction
method get : int