varmark Type

Namespace: HOL

Assembly: nholz.dll

Parent Module: Lexer

Base Type: obj

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

Union cases

Union case	Description
No_mark Full Usage: No_mark
Tmvar_mark Full Usage: Tmvar_mark
Tyvar_mark Full Usage: Tyvar_mark