tezos-plonk
Plonk.Multicore
tezos-plonk.aggregation
tezos-plonk.distribution
val with_pool : num_additional_domains:int -> (unit -> 'a) -> 'a
val map2_one_chunk_per_core : (offset:int -> len:int -> 'a -> 'b -> 'c) -> 'a -> 'b -> int -> 'c list
val pmap : ('a -> 'b) -> 'a list -> 'b list