Extracts an integer list macro definition from a command option dictionary.
Namespace: Microsoft.Research.LiquidAssembly: Liquid1 (in Liquid1.dll) Version: 1.0.5981.24943 (1.0.*)
Syntax static member getIntsPar :
dic : Dictionary<string, string> *
nam : string *
def : FSharpList<int> -> FSharpList<int>
Parameters
- dic
- Type: System.Collections.GenericDictionaryString, String
The dictionary to search - nam
- Type: SystemString
The macro name - def
- Type: Microsoft.FSharp.CollectionsFSharpListInt32
The default value to return if the name is not found in the dictionary
Return Value
Type:
FSharpListInt32Macro value if found, or else default value
See Also