Backends_deprecated.Schedulersmodule Tn = Ir.Tnodeval cpu_mma_limits : Ir.Backend_intf.hardware_limitsmodule Multidev
(Backend : Ir.Backend_impl.For_add_scheduler) :
Ir.Backend_impl.With_scheduler with type buffer_ptr = Backend.buffer_ptrmodule Sync (Backend : Ir.Backend_impl.For_add_scheduler) : sig ... endA minimalistic wrapper creating backends where all calls run synchronously on the main thread. There is a single CPU device.