DependentPair<'Sigma, 'Config, 'T, 'T2>
Namespace: DependentTypes
'T -> 'T * 'T2 dependent pair
Union Cases
| Union Case | Description |
DependentPair('T,'T2)
Signature: 'T * 'T2
|
|
Instance members
| Instance member | Description |
x.Value
Signature: 'T * 'T2
|
Pair of 'T1 element and 'T2 (base type) element value. CompiledName: |
Static members
| Static member | Description |
DependentPair.Create(x)
Signature: x:'T -> DependentPair<'Sigma,'Config,'T,'T2>
|
Create instance of dependent pair type. |
