Top

Address-option

Address-option-some

An available address-option, i.e., Just val or Some val.

This is a product type, introduced by fty::defoption in support of address-option.

Fields

fty::val — address

Subtopics

Address-option-some->val: Get the fty::val field from a address-option-some.
Make-address-option-some: Basic constructor macro for address-option-some structures.
Change-address-option-some: Modifying constructor for address-option-some structures.