Dumps this matrix as a list of row-column indices and element squared magnitudes.
Note that all non-zero elements are listed, so the output may be quite long.
Namespace: Microsoft.Research.LiquidAssembly: Liquid1 (in Liquid1.dll) Version: 1.0.5981.24943 (1.0.*)
Syntax member DumpMCC :
f : FSharpOption<FSharpFunc<int, FSharpFunc<string, Unit>>> *
level : 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.
See Also