Top

Maybe-smtlink-hint

Maybe-smtlink-hint-some

An available maybe-smtlink-hint, i.e., Just val or Some val.

This is a product type, introduced by defoption in support of maybe-smtlink-hint.

Fields

fty::val — smtlink-hint

Subtopics

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