sig
  type data = Locations.Zone.t
  val memo :
    (Db_types.kernel_function -> data) -> Db_types.kernel_function -> data
  val self : Project.Computation.t
end