Parameter Super_impl.PI

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