Sarek_interp (sarek.Sarek

module Cpu_domain_pool : sig ... end

The block pool shared by the parallel interpreter and the Native CPU runtime: worker domains taking tasks from one queue. Created on the first launch and retired when idle (see Cpu_pool_lifecycle).

module Cpu_pool_lifecycle : sig ... end

Sizing and lifetime of the process-wide CPU worker pools (the interpreter and Native block pool, the Native thread and parallel pools, the fission queue dispatchers).

module Interp_error : sig ... end

module Sarek_float16 : sig ... end

module Sarek_float32 : sig ... end

module Sarek_interp_capability : sig ... end

What the INTERPRETER provides, stated by the evaluator that provides it (backlog-154).

module Sarek_ir_interp : sig ... end

module Sarek_ir_interp_eval : sig ... end

module Sarek_ir_interp_intrinsics : sig ... end

module Sarek_ir_interp_value : sig ... end

module Sarek_type_helpers : sig ... end

module Sarek_value : sig ... end