module Make: functor (Abstract : Abstractions.Eva) -> sig .. end
functor (
Abstract
:
Abstractions.Eva
) ->
sig
end
val compute : max_unroll:int -> Abstract.Dom.t -> Cil_types.stmt -> int option
max_unroll:int -> Abstract.Dom.t -> Cil_types.stmt -> int option