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