Module Mark_noresults

module Mark_noresults: sig .. end

val should_memorize_function : Cil_datatype.Fundec.Set.elt -> bool
val no_memoization_enabled : unit -> bool