Dumps this vector using the provided function.
Namespace: Microsoft.Research.LiquidAssembly: Liquid1 (in Liquid1.dll) Version: 1.0.5981.24943 (1.0.*)
Syntax member Dump :
f : FSharpOption<FSharpFunc<int, FSharpFunc<string, Unit>>> *
level : FSharpOption<int> *
maxNZ : FSharpOption<int> -> unit
Parameters
- f
- Type: Microsoft.FSharp.CoreFSharpOptionFSharpFuncInt32, FSharpFuncString, Unit
The optional output function to use.
The default is showLogInd. - level
- Type: Microsoft.FSharp.CoreFSharpOptionInt32
The optional indentation level. The default is 0. - maxNZ
- Type: Microsoft.FSharp.CoreFSharpOptionInt32
The optional maximum number of non-zeros to dump. The default is 256
See Also