module Mark_noresults: sig .. end
sig
end
val should_memorize_function : Cil_datatype.Fundec.Set.elt -> bool
Cil_datatype.Fundec.Set.elt -> bool
val no_memoization_enabled : unit -> bool
unit -> bool