avail/avail.interpreter.levelTwo.operand/TypeRestriction/withFlag

withFlag

fun withFlag(flagEncoding: TypeRestriction.RestrictionFlagEncoding): TypeRestriction

Answer a restriction like the receiver, but with an additional flag set. If the flag is already set, answer the receiver.

Return

The new TypeRestriction, or the receiver.

Parameters

flagEncoding