Domain Reference You can reference domain values with the (nullary) domain reference @ operator. See also Scopes.