ti | : | anything |
newt | : | a user defined structured type |
Returns: anything
Synopsis: If newt is a user defined structured type, then the specuneval makes the type newt recognizable by the Darwin system. The arguments ti specify the subtypes of newt. The result must be assigned to a variable named newt_type (the name type has special polymorphic status in Darwin).
Examples:
> x := newt(1); > newt_type := specuneval(integer, newt); > type(x, newt);