Represents a differentiation nesting level.
| Record Field |
Description
|
Full Usage:
Current
Field type: uint32
Modifiers: mutable |
|
| Constructor |
Description
|
|
|
| Instance member |
Description
|
Full Usage:
this.Next
Returns: uint32
|
|
© Copyright 2021, DiffSharp and dfx Contributors.