Distribution_helpers.Rollup_example_PIs
val get_pi_module : 'a -> (module Aplonk.Pi_parameters.CircuitPI)