Parameter DP_aPlonk.PI

val get_pi_module : string -> (module Aplonk.Pi_parameters.CircuitPI)