Top

Maybe-svar-p

Maybe-svar-p-some

An available maybe-svar-p, i.e., Just val or Some val.

This is a product type, introduced by fty::defoption in support of maybe-svar-p.

Fields

fty::val — svar

Subtopics

Maybe-svar-p-some->val: Get the fty::val field from a maybe-svar-p-some.
Make-maybe-svar-p-some: Basic constructor macro for maybe-svar-p-some structures.
Change-maybe-svar-p-some: Modifying constructor for maybe-svar-p-some structures.