Add another todo

This commit is contained in:
Shon Feder 2025-05-28 10:31:47 -04:00
parent f038f95e49
commit 1289fe7d5f
No known key found for this signature in database

View file

@ -179,7 +179,9 @@ end
(** Batch of resources to be pushed later. (** Batch of resources to be pushed later.
This type is thread-safe. *) This type is thread-safe
TODO: This is NOT safe accross domains. Need to wrap in mutex or re-architect. *)
module Batch : sig module Batch : sig
type 'a t type 'a t