* Removed the "valid values" feature. Nobody uses it anyway.
This commit is contained in:
		
							parent
							
								
									b455c4c45c
								
							
						
					
					
						commit
						5664b6d7ba
					
				
					 13 changed files with 22 additions and 104 deletions
				
			
		| 
						 | 
				
			
			@ -76,10 +76,7 @@ Inherit | Expr ATermList Pos | ATerm |
 | 
			
		|||
 | 
			
		||||
Scope | | Expr |
 | 
			
		||||
 | 
			
		||||
Formal | string ValidValues DefaultValue | ATerm |
 | 
			
		||||
 | 
			
		||||
ValidValues | ATermList | ValidValues |
 | 
			
		||||
UnrestrictedValues | | ValidValues |
 | 
			
		||||
Formal | string DefaultValue | ATerm |
 | 
			
		||||
 | 
			
		||||
DefaultValue | Expr | DefaultValue |
 | 
			
		||||
NoDefaultValue | | DefaultValue |
 | 
			
		||||
| 
						 | 
				
			
			
 | 
			
		|||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue