Field_ops_lib.Which_config
A global constant to specify the intended level of pipelining in designs.
type t =
| Heavy_pipelining
| Medium_pipelining
val all : t list
val t : t