sig
  module Make :
    functor (Abstract : Abstractions.Eva->
      sig
        val compute_from_entry_point :
          Cil_types.kernel_function -> lib_entry:bool -> unit
        val compute_from_init_state :
          Cil_types.kernel_function -> Abstract.Dom.t -> unit
        val initial_state : lib_entry:bool -> Abstract.Dom.t Eval.or_bottom
      end
end