Top

Vl-maybe-rhs

Vl-maybe-rhs-some

An available vl-maybe-rhs, i.e., Just val or Some val.

This is a product type, introduced by defoption in support of vl-maybe-rhs.

Fields

fty::val — vl-rhs

Subtopics

Vl-maybe-rhs-some->val: Get the fty::val field from a vl-maybe-rhs-some.
Make-vl-maybe-rhs-some: Basic constructor macro for vl-maybe-rhs-some structures.
Change-vl-maybe-rhs-some: Modifying constructor for vl-maybe-rhs-some structures.