ContractDeclRecord
PackageReified.Schema.Contracts
One declared contract at one version.
OwnsType is true when generation emits the record
and its case types (the .contract path); the record frontend sets it false so emission targets the
user-owned type. ExternalTypeName carries the user type's actual name when a chain override means
it differs from the conventional generated name.Fields
| Name | Type | Description |
|---|---|---|
| ContractName | ContractName | No description available. |
| Version | Version | No description available. |
| Doc | Doc | No description available. |
| Annotations | Annotations | No description available. |
| Fields | Fields | No description available. |
| OwnsType | OwnsType | No description available. |
| ExternalTypeName | ExternalTypeName | No description available. |
| Constructor | Constructor | A user function the schema calls to assemble the record instead of a record literal ([<SchemaConstructor>]; record frontend only, .contract files leave it None). |
| ContractLine | ContractLine | No description available. |