NestingLevel Type
Represents a differentiation nesting level.
Record fields
| Record Field | Description |
Full Usage:
Current
Field type: uint32
Modifiers: mutable |
|
Constructors
| Constructor | Description |
|
|
![[diffsharp-logo-text.png]](https://diffsharp.github.io/img/diffsharp-logo-text.png){kind=link}
![[github.png]](https://diffsharp.github.io/content/img/github.png){kind=link}
![[github-hover.png]](https://diffsharp.github.io/content/img/github-hover.png){kind=link}
![[copy-md.png]](https://diffsharp.github.io/content/img/copy-md.png){kind=link}
![[copy-md-hover.png]](https://diffsharp.github.io/content/img/copy-md-hover.png){kind=link}
![[copy-xml.png]](https://diffsharp.github.io/content/img/copy-xml.png){kind=link}
![[copy-xml-hover.png]](https://diffsharp.github.io/content/img/copy-xml-hover.png){kind=link}
Instance members
| Instance member | Description |
Full Usage:
this.Next
Returns: uint32
|
|
Copyright 2021, DiffSharp Contributors.