FsMeasureDecl Type
A unit of measure standing for a branding intersection (ยง4.6, D11). It has no body: a
measure is a name and nothing else, and the brand it marks is written at the *uses*, as
`string
Record fields
| Record Field |
Description
|
Full Usage:
Docs
Field type: string
|
|
Full Usage:
Name
Field type: string
|
|
|
|
The primitive the brand is over, kept for the manifest and the doc comment: a measure itself says nothing about what it annotates.
|
|
|
|