ConditionalFacts Type
A conditional type's mapping facts (ยง4.11).
Record fields
| Record Field |
Description
|
Full Usage:
Branch
Field type: (string * int) option
|
The branch the mapping takes, named for the manifest and carried by id. Absent where both branches are reachable and inhabited.
|
Full Usage:
Name
Field type: string option
|
The alias the conditional is written under.
|