$.types_env: Retrieving a copy of a type
Description
Retrieving a copy of a type
Usage
# S3 method for types_env
$(x, name)# S3 method for types_env
[[(x, name)
Value
Returns an object that is a copy of a type that was requested
Arguments
- x
The environment to request it from
- name
The name of the type that is requested
Details
The types are stored in the environment h5types
. These types should not be accessed
directly. Therefor, the $
-operator is overloaded to ensure that every type that is accessed is a copy of the
original type