Proof Type

Namespace: HOL
Assembly: nholz.dll
Parent Module: ProofTree
Abbreviation For: Exp * string * InfRule
Base Type: obj
All Interfaces: IStructuralComparable , IStructuralEquatable , IComparable , ITuple

Instance members

Instance member Description

this.Item1

Full Usage: this.Item1

Returns: Exp
Returns: Exp

this.Item2

Full Usage: this.Item2

Returns: string
Returns: string

this.Item3

Full Usage: this.Item3

Returns: InfRule
Returns: InfRule