assochand Type

Namespace: HOL

Assembly: nholz.dll

Parent Module: Names

Base Type: obj

All Interfaces: IEquatable<assochand> , IStructuralEquatable , IComparable<assochand> , IComparable , IStructuralComparable

Union cases

Union case	Description
LeftAssoc Full Usage: LeftAssoc
NonAssoc Full Usage: NonAssoc
RightAssoc Full Usage: RightAssoc