Up – Package index » tezos-plonk » Library tezos-plonk.aggregation » Aggregation » Main_protocol » Make_impl » Partition

Module `Make_impl.Partition`Source

Sourcetype t = IntSet.t IntMap.t

Sourceval build_partition : IntMap.key array SMap.t -> IntSet.t IntMap.t

Sourceval partition_to_permutation : IntSet.t IntMap.t -> int array