Water 5-Type and Object System-Type System
class and type type.all_of
Contract
Parameter keyDefault valueType
uiopt
Parameter kindDefault valueType
Other unkeyed argumentsopt
Water Contract
<class type.all_of
  ui=opt
  _other_unkeyed=opt=wob=ekind.code="_add_to_environment"
/>
Specifies a type wherein the object being specified must have all of the listed types to be of this type.
type.<all_of number integer/>.<is_type_for 2468/>
true
type.<all_of number integer/>.<is_type_for 24.68/>
false
because although 24.68 is a number, it is not an integer.