compiler/edu.cornell.cs.apl.viaduct.security/Label/lessThanOrEqualTo

lessThanOrEqualTo

open override fun lessThanOrEqualTo(that: Label): Boolean
Content copied to clipboard

Returns true if this is ordered before that.

It is not necessary that either this.lessThanOrEqualTo(that) or that.lessThanOrEqualTo(this).