destructed_term Type

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

Union cases

Union case Description

Term_abs term * term

Full Usage: Term_abs term * term

Parameters:
Item : term * term

Term_comb term * term

Full Usage: Term_comb term * term

Parameters:
Item : term * term

Term_const string * hol_type

Full Usage: Term_const string * hol_type

Parameters:
Item : string * hol_type

Term_var string * hol_type

Full Usage: Term_var string * hol_type

Parameters:
Item : string * hol_type