functor (D : Domain->
  sig
    val fixpoint :
      Cil_types.kernel_function ->
      D.t -> D.t Interpreted_automata.Vertex.Hashtbl.t
  end