preterm Type

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

Union cases

Union case Description

Ptmabs preterm * preterm

Full Usage: Ptmabs preterm * preterm

Parameters:
Item : preterm * preterm

Ptmcomb preterm * preterm

Full Usage: Ptmcomb preterm * preterm

Parameters:
Item : preterm * preterm

Ptmconst string * pretype

Full Usage: Ptmconst string * pretype

Parameters:
Item : string * pretype

Ptmtyped preterm * pretype

Full Usage: Ptmtyped preterm * pretype

Parameters:
Item : preterm * pretype

Ptmvar string * pretype

Full Usage: Ptmvar string * pretype

Parameters:
Item : string * pretype