Functor Analysis.Make

module Make: 
functor (Abstract : Abstractions.S) -> sig .. end
Parameters:
Abstract : Abstractions.S

val compute : ?library:bool -> Cil_types.kernel_function -> unit
include Analysis.Results