destructed_type Type

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

Union cases

Union case Description

Type_comp string * hol_type list

Full Usage: Type_comp string * hol_type list

Parameters:
Item : string * hol_type list

Type_var string

Full Usage: Type_var string

Parameters:
    Item : string

Item : string