Get the type for which this is an abbreviation

Get all the interface implementations, by walking the type hierarchy, taking into account the instantiation of this type if it is an instantiation of a generic type.

Get the details of the anonymous record type.

Get the base type, if any, taking into account the instantiation of this type if it is an instantiation of a generic type.

The fully qualified name of the type or module without strong assembly name.

Canonical form of the type with abbreviations, measures, and F# tuples and functions erased.

Format the type using the rules of the given display context, skipping type constraints

Format the type using the rules of the given display context

Format the type - with constraints - using the rules of the given display context

Format the type using the rules of the given display context

Get the generic arguments for a tuple type, a function type or a type constructed using a named entity

Get the generic parameter data for a generic parameter type

Indicates this type is known to have a null annotation

Indicates if the type is constructed using a named entity, including array and byref types

Instantiate generic type parameters in a type

Indicates this is an abbreviation for another type

Indicates if the type is an anonymous record type. The GenericArguments property returns the type instantiation of the anonymous record type

Indicates if the type is a function type. The GenericArguments property returns the domain and range of the function type.

Indicates if the type is a variable type, whether declared, generalized or an inference type parameter

Indicates if the type is a measure type.

Indicates this type is assumed to support the null value

Indicates if the type is a struct tuple type. The GenericArguments property returns the elements of the tuple type.

Indicates if the type is a tuple type (reference or struct). The GenericArguments property returns the elements of the tuple type.

Indicates this is a named type in an unresolved assembly

Strip any outer abbreviations from the type

Get the type definition for a type

Adjust the types in a group of curried parameters and return type by removing any occurrences of type inference variables, replacing them systematically with lower-case type inference variables such as 'a.

Adjust the types in a group of curried parameters by removing any occurrences of type inference variables, replacing them systematically with lower-case type inference variables such as 'a.

Adjust the types in a group of parameters by removing any occurrences of type inference variables, replacing them systematically with lower-case type inference variables such as 'a.

Adjust the type in a single parameter by removing any occurrences of type inference variables, replacing them systematically with lower-case type inference variables such as 'a.

Adjust a group of types by removing any occurrences of type inference variables, replacing them systematically with lower-case type inference variables such as 'a.

Adjust the type by removing any occurrences of type inference variables, replacing them systematically with lower-case type inference variables such as 'a.