Revision 697f49d5 lib/ht.py

b/lib/ht.py
178 178 
#: a strictly positive integer
179 179 
TStrictPositiveInt = TAnd(TInt, lambda v: v > 0)
180 180 

  		





  
  181
  
    
#: Number


  		





  
  182
  
    
TNumber = TOr(TInt, TFloat)


  		





  
  183
  
    

  		





  181
  184
  
    

  		





  182
  185
  
    
def TListOf(my_type):


  		





  183
  186
  
    
  """Checks if a given value is a list with all elements of the same type.


  		












Also available in:
  Unified diff