		Search-engine friendly clone of the ACL2 documentation.

Stmt-value-none

This is a product type, introduced by fty::deftagsum in support of stmt-value.

This is an atomic/empty structure; it has no fields.

Make-stmt-value-none: Basic constructor macro for stmt-value-none structures.
Change-stmt-value-none: Modifying constructor for stmt-value-none structures.