module Make: functor (Abstract : Abstractions.S) -> sig .. end
functor (
Abstract
:
Abstractions.S
) ->
sig
end
val compute : ?library:bool -> Cil_types.kernel_function -> unit
?library:bool -> Cil_types.kernel_function -> unit
include Analysis.Results