spinal.core.internals.Operator.Formal
(Since version ) see corresponding Javadoc for more information.