fixity Type

Namespace: HOL
Assembly: nholz.dll
Parent Module: Names
Base Type: obj
All Interfaces: IEquatable<fixity> , IStructuralEquatable , IComparable<fixity> , IComparable , IStructuralComparable

Union cases

Union case Description

Binder

Full Usage: Binder

Infix int * assochand

Full Usage: Infix int * assochand

Parameters:
Item : int * assochand

Nonfix

Full Usage: Nonfix

Postfix

Full Usage: Postfix

Prefix

Full Usage: Prefix