DiffSharp


GlobalNestingLevel Type

Namespace: DiffSharp

Assembly: DiffSharp.Core.dll


Parent Module: Util

Base Type: obj

Constructors

Constructor Description
GlobalNestingLevel()
Full Usage:
GlobalNestingLevel()
Return Type: GlobalNestingLevel
Signature: unit -> GlobalNestingLevel
Return Type: GlobalNestingLevel

Static members

Static member Description
GlobalNestingLevel.Current
Full Usage:
GlobalNestingLevel.Current
Return Type: uint32
Signature: uint32
Return Type: uint32
GlobalNestingLevel.Next()
Full Usage:
GlobalNestingLevel.Next()
Return Type: uint32
Signature: unit -> uint32
Return Type: uint32
GlobalNestingLevel.Reset()
Full Usage:
GlobalNestingLevel.Reset()
Signature: unit -> unit
GlobalNestingLevel.Set(level)
Full Usage:
GlobalNestingLevel.Set(level) Parameter Types:
  • level : uint32

Signature: (level: uint32) -> unit
Parameter Types:
  • level : uint32