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