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 data
  val merge :
    Computation.WEAK_HASHTBL_OUTPUT.data ->
    Computation.WEAK_HASHTBL_OUTPUT.data
  val add : Computation.WEAK_HASHTBL_OUTPUT.data -> unit
  val clear : unit -> unit
  val count : unit -> int
  val iter : (Computation.WEAK_HASHTBL_OUTPUT.data -> unit) -> unit
  val fold : (Computation.WEAK_HASHTBL_OUTPUT.data -> '-> 'a) -> '-> 'a
  val find :
    Computation.WEAK_HASHTBL_OUTPUT.data ->
    Computation.WEAK_HASHTBL_OUTPUT.data
  val find_all :
    Computation.WEAK_HASHTBL_OUTPUT.data ->
    Computation.WEAK_HASHTBL_OUTPUT.data list
  val mem : Computation.WEAK_HASHTBL_OUTPUT.data -> bool
  val remove : Computation.WEAK_HASHTBL_OUTPUT.data -> unit
end