Module Rtl.Blackbox

Control blackbox generation. None implies blackboxes are not used. Top means the circuit will be turned into a blackbox. Instantiations means that the top level circuit will be written as normal, but submodules will be written as blackboxes.

type t =
| None
| Top
| Instantiations
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t