module Mark_noresults: sig .. end
sig
end
class mark_visitor : object .. end
object
val should_memorize_function : Cil_types.fundec -> bool
Cil_types.fundec -> bool
val run : unit -> unit
unit -> unit
val no_memoization_enabled : unit -> bool
unit -> bool