sig
  val name : string
  val debug : bool Pervasives.ref
  type t = Compute.DomSet.t
  module StmtStartData :
    sig
      val self : Project.Computation.t
      val select :
        Kind.how ->
        Project.Computation.selection -> Project.Computation.selection
      val depend : Project.Computation.t -> unit
      val mark_as_computed : ?project:Project.project -> unit -> unit
      val is_computed : ?project:Project.project -> unit -> bool
      val do_not_save : unit -> unit
      module Datatype :
        sig
          type t = PostDom.Datatype.t
          val rehash : t -> t
          val descr : Unmarshal.t
          val copy : t -> t
          val name : string
          val register_comparable :
            ?compare:(t -> t -> int) ->
            ?equal:(t -> t -> bool) ->
            ?hash:(t -> int) -> ?physical_hash:(t -> int) -> unit -> unit
          val is_comparable_set : unit -> bool
          val hash : t -> int
          val physical_hash : t -> int
          val equal : t -> t -> bool
          val compare : t -> t -> int
          val contain_project : (Project.project -> t -> bool) option ref
        end
      val name : string
      type key = int
      type data = Datatype.t
      val replace : key -> data -> unit
      val add : key -> data -> unit
      val clear : unit -> unit
      val length : unit -> int
      val iter : (key -> data -> unit) -> unit
      val fold : (key -> data -> '-> 'a) -> '-> 'a
      val memo : ?change:(data -> data) -> (key -> data) -> key -> data
      val find : key -> data
      val find_all : key -> data list
      val unsafe_find : key -> data
      val mem : key -> bool
      val remove : key -> unit
    end
  val pretty : Format.formatter -> Compute.DomSet.t -> unit
  val combineStmtStartData :
    '-> old:Compute.DomSet.t -> Compute.DomSet.t -> Compute.DomSet.t option
  val combineSuccessors :
    Compute.DomSet.t -> Compute.DomSet.t -> Compute.DomSet.t
  val doStmt : Cilutil.StmtSet.elt -> Compute.DomSet.t Dataflow.action
  val doInstr : '-> '-> '-> 'Dataflow.action
  val filterStmt : '-> '-> bool
  val funcExitData : Compute.DomSet.t
end