%:%                     Type annotation operator
%<-%                    Type-checked assignment operator
Any                     Built-in Any Type
Bool                    Built-in Boolean Type
DataFrame               Built-in DataFrame Type
Double                  Built-in Double Type
Enum                    Enum Type Factory
Function                Built-in Function Type
Integer                 Built-in Integer Type
List                    Built-in List Type
ListOf                  Create a homogeneous list type
Null                    Built-in Null Type
Numeric                 Built-in Numeric Type
Optional                Create an optional (nullable) type variant
Readonly                Create a readonly type variant
Scalar                  Create a scalar (length-1) type variant
String                  Built-in String Type
[.sicher_type           Vector Size Operator for sicher_type
check_type              Type Checking Function
create_dataframe_type   Create a Data Frame Type with Column
                        Specification
create_list_type        Create a List Type with Specific Structure
create_type             Create a Custom Type
infer_type              Infer a Type from an R Object
print.sicher_type       Print method for sicher_type
print.sicher_typed_annotation
                        Print method for sicher_typed_annotation
print.sicher_typed_function
                        Print method for sicher_typed_function
print.sicher_union      Print method for sicher_union
typed_function          Create a type-checked function
union-operator          Union Type Operator
