Top

Maybe-theorem

Maybe-theorem-some

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

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

Fields

fty::val — theorem

Subtopics

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