Module Mark_noresults


module Mark_noresults: sig .. end

class mark_visitor : object .. end
val should_memorize_function : Cil_types.fundec -> bool
val run : unit -> unit