'a, 'b infix_elem Type

Namespace: HOL
Assembly: nholz.dll
Parent Module: Parser
Base Type: obj
All Interfaces: IEquatable<('a, 'b)infix_elem> , IStructuralEquatable , IComparable<('a, 'b)infix_elem> , IComparable , IStructuralComparable

Union cases

Union case Description

Infix_arg 'b

Full Usage: Infix_arg 'b

Parameters:
    Item : 'b

Item : 'b

Infix_op 'a

Full Usage: Infix_op 'a

Parameters:
    Item : 'a

Item : 'a