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