NestingLevel Type

Represents a differentiation nesting level.

Record fields

Record Field Description

Current

Full Usage: Current

Field type: uint32
Modifiers: mutable
Field type: uint32

Constructors

Constructor Description

NestingLevel()

Full Usage: NestingLevel()

Returns: NestingLevel
Returns: NestingLevel

Instance members

Instance member Description

this.Next

Full Usage: this.Next

Returns: uint32
Returns: uint32

© Copyright 2021, DiffSharp Contributors.