argument has a valid value, i.e., is in a certain domain.  E.g.,
    { foo : [true false]
    , bar : ["a" "b" "c"]
    }: ...
  This previously could be done using assertions, but domain checks
  will allow the buildfarm to automatically extract the configuration
  space from functions.
		
	
			
		
			
				
	
	
		
			7 lines
		
	
	
	
		
			92 B
		
	
	
	
		
			Nix
		
	
	
	
	
	
			
		
		
	
	
			7 lines
		
	
	
	
		
			92 B
		
	
	
	
		
			Nix
		
	
	
	
	
	
| let {
 | |
| 
 | |
|   f = {x, y : ["baz" "bar" z "bat"]}: x + y;
 | |
| 
 | |
|   body = f {x = "foo"; y = "bar";};
 | |
| 
 | |
| }
 |