orderedNamesValue

fun ExprValue.orderedNamesValue(names: List<String>): ExprValue

Wraps the given ExprValue with a delegate that provides the OrderedBindNames facet.