Sigma<'Config, 'T, 'T2>
Namespace: DependentTypes
Attributes:
[<Class>]
Construction / validation type for DependentPair 'T -> 'T * 'T2
Constructors
| Constructor | Description |
new(config, pi)
Signature: (config:'Config * pi:('Config -> 'T -> 'T2)) -> Sigma<'Config,'T,'T2>
|
CompiledName: |
Instance members
| Instance member | Description |
x.Create(x)
Signature: x:'T -> 'T * 'T2
|
|
