obj
IStructuralEquatable
IComparable<TyparStaticReq>
IComparable
IStructuralComparable
Represents whether a type parameter has a static requirement or not (^T or 'T)
HeadType
The construct is a statically inferred type inference variable '^T'
None
The construct is a normal type inference variable
Type something to start searching.