Type constructors for types in the Rsymbolic type system
These functions create types for the Rsymbolic type system, called sTypes
from here on. These functions are used mostly in literal expressions denoting sTypes.
st creates a base sType from a string. A base sType is a type without
any further structure. Example include
%->% creates a function sType, i.e. the type of function, from a
vector of argument sTypes and a result sType. A function sType has
range containing its argument and result types.
Every sType has a
string field containing a unambiguous string representation
that can serve as a hash table key.
STypes can be checked for equality via
sObject is the root of the sType hierarchy, i.e. the most general type.
1 2 3 4 5
The name of the base sType to create.
1 2 3 4
The created sType.
1 2 3