'a Path Type

Namespace: HOL

Assembly: nholz.dll

Parent Module: GenericTree

Base Type: obj

All Interfaces: IEquatable<'a Path> , IStructuralEquatable , IComparable<'a Path> , IComparable , IStructuralComparable

Union cases

Union case	Description
NodePath('a, 'a Tree list, 'a Path, 'a Tree list) Full Usage: NodePath('a, 'a Tree list, 'a Path, 'a Tree list) Parameters: Item1 : 'a Item2 : 'a Tree list Item3 : 'a Path Item4 : 'a Tree list	Item1 : 'a Item2 : 'a Tree list Item3 : 'a Path Item4 : 'a Tree list
Top Full Usage: Top