varenv (nholz)

varenv Type

Namespace: HOL
Assembly: nholz.dll
Parent Module: TypeAnal
Abbreviation For: (string * pretype list) list
Base Type: obj
All Interfaces: IStructuralEquatable , IComparable<List<string * pretype list>> , IComparable , IStructuralComparable , IReadOnlyList<string * pretype list> , IReadOnlyCollection<string * pretype list> , IEnumerable<string * pretype list> , IEnumerable

Instance member	Description
`this.Head` Full Usage: `this.Head` Returns: `string * pretype list`	Returns: `string * pretype list`
`this.IsEmpty` Full Usage: `this.IsEmpty` Returns: `bool`	Returns: `bool`
`this[index]` Full Usage: `this[index]` Parameters: index : `int` Returns: `string * pretype list`	index : `int` Returns: `string * pretype list`
`this.Length` Full Usage: `this.Length` Returns: `int`	Returns: `int`
`this.Tail` Full Usage: `this.Tail` Returns: `(string * pretype list) list`	Returns: `(string * pretype list) list`

Static member	Description
`List.Empty` Full Usage: `List.Empty` Returns: `(string * pretype list) list`	Returns: `(string * pretype list) list`