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