sig
  type data
  val memo :
    (Db_types.kernel_function -> Kf_state.S.data) ->
    Db_types.kernel_function -> Kf_state.S.data
  val self : Project.Computation.t
end