Logo Xantham

ConditionalFacts Type

A conditional type's mapping facts (ยง4.11).

Record fields

Record Field Description

Branch

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.

Field type: (string * int) option

Name

Full Usage: Name

Field type: string option

The alias the conditional is written under.

Field type: string option

Type something to start searching.