Clash (nholz)

Clash Type

Namespace: HOL
Assembly: nholz.dll
Parent Module: Utils2
Base Type: exn
All Interfaces: ISerializable , IStructuralEquatable

Record fields

Record Field	Description
`Data0` Full Usage: `Data0` Field type: `term`	Field type: `term`