TypedSignature: Constructor for a TypedSignature object
Description
This is a constructor function for the
TypedSignature-class
that represents constraints
on the types or values of a combination
of parameters.
It takes named arguments that identify the
types of the parameters.
Each parameter type should be
an object that is compatible with
ClassNameOrExpression-class,
i.e. a test for inheritance or a dynamic expression.
the types for the parameters given as name = type
to identify the parameter and its type description.
returnType
the type description for the return value.
This applies to the particular combination of inputs given in ...
obj
the instance to populate with the information given
in the other arguments. This allows us to pass in objects of
sub-classes to this function or to populate previously
created objects.