GrowParsVerboseSet Method |
Creates a new GrowPars with a different verbosity setting.
Namespace: Microsoft.Research.LiquidAssembly: Liquid1 (in Liquid1.dll) Version: 1.0.5981.24943 (1.0.*)
Syntax member VerboseSet :
vNew : int -> GrowPars
Parameters
- vNew
- Type: SystemInt32
The new verbosity level
Return Value
Type:
GrowParsThe new GrowPars instance
See Also