coko-core/de.fraunhofer.aisec.codyze.specificationLanguages.coko.core.ordering/QuantifierOrderNode/value

value

val value: Any? = null(source)