Functor Auto_loop_unroll.Make

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

val compute : max_unroll:int -> Abstract.Dom.t -> Cil_types.stmt -> int option