sig
  val self : Project.Computation.t
  val select :
    Kind.how ->
    Project.Computation.selection -> Project.Computation.selection
  val depend : Project.Computation.t -> unit
  val name : string
  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 : Project.Datatype.S
  val howto_marshal : (Datatype.t -> 'a) -> ('-> Datatype.t) -> unit
  type key
  type data
  val add :
    Computation.DASHTBL_OUTPUT.key ->
    Project.Computation.t list -> Computation.DASHTBL_OUTPUT.data -> unit
  val replace :
    reset:bool ->
    Computation.DASHTBL_OUTPUT.key ->
    Project.Computation.t list -> Computation.DASHTBL_OUTPUT.data -> unit
  val memo :
    reset:bool ->
    (Computation.DASHTBL_OUTPUT.data list -> Computation.DASHTBL_OUTPUT.data) ->
    Computation.DASHTBL_OUTPUT.key ->
    Project.Computation.t list -> Computation.DASHTBL_OUTPUT.data
  val clear : reset:bool -> unit -> unit
  val remove :
    reset:bool ->
    Computation.DASHTBL_OUTPUT.key -> Project.Computation.t -> unit
  val remove_all : reset:bool -> Computation.DASHTBL_OUTPUT.key -> unit
  val filter :
    reset:bool ->
    (Computation.DASHTBL_OUTPUT.key ->
     Project.Computation.t -> Computation.DASHTBL_OUTPUT.data -> bool) ->
    Computation.DASHTBL_OUTPUT.key -> unit
  val mem : Computation.DASHTBL_OUTPUT.key -> bool
  val find :
    ?who:Project.Computation.t list ->
    Computation.DASHTBL_OUTPUT.key ->
    Project.Computation.t ->
    Computation.DASHTBL_OUTPUT.data * Project.Computation.t
  val find_data :
    ?who:Project.Computation.t list ->
    Computation.DASHTBL_OUTPUT.key ->
    Project.Computation.t -> Computation.DASHTBL_OUTPUT.data
  val find_state :
    ?who:Project.Computation.t list ->
    Computation.DASHTBL_OUTPUT.key ->
    Project.Computation.t -> Project.Computation.t
  val find_all_local :
    ?who:Project.Computation.t list ->
    Computation.DASHTBL_OUTPUT.key ->
    Project.Computation.t ->
    (Computation.DASHTBL_OUTPUT.data * Project.Computation.t) list
  val find_all_local_data :
    ?who:Project.Computation.t list ->
    Computation.DASHTBL_OUTPUT.key ->
    Project.Computation.t -> Computation.DASHTBL_OUTPUT.data list
  val find_all_local_state :
    ?who:Project.Computation.t list ->
    Computation.DASHTBL_OUTPUT.key ->
    Project.Computation.t -> Project.Computation.t list
  val find_all :
    ?who:Project.Computation.t list ->
    Computation.DASHTBL_OUTPUT.key ->
    (Computation.DASHTBL_OUTPUT.data * Project.Computation.t) list
  val find_all_data :
    ?who:Project.Computation.t list ->
    Computation.DASHTBL_OUTPUT.key -> Computation.DASHTBL_OUTPUT.data list
  val find_all_states :
    ?who:Project.Computation.t list ->
    Computation.DASHTBL_OUTPUT.key -> Project.Computation.t list
  val iter :
    (Computation.DASHTBL_OUTPUT.key ->
     Project.Computation.t -> Computation.DASHTBL_OUTPUT.data -> unit) ->
    unit
  val iter_key :
    (Project.Computation.t -> Computation.DASHTBL_OUTPUT.data -> unit) ->
    Computation.DASHTBL_OUTPUT.key -> unit
  val fold :
    (Computation.DASHTBL_OUTPUT.key ->
     Project.Computation.t -> Computation.DASHTBL_OUTPUT.data -> '-> 'a) ->
    '-> 'a
  val fold_key :
    (Project.Computation.t -> Computation.DASHTBL_OUTPUT.data -> '-> 'a) ->
    Computation.DASHTBL_OUTPUT.key -> '-> 'a
  val length : unit -> int
  val add_dependency : Project.Computation.t -> Project.Computation.t -> unit
end