		Search-engine friendly clone of the ACL2 documentation.

Abstract-syntax

Alternative

Fixtype of Syntheto alternatives.

This is a product type introduced by fty::defprod.

Fields

name — identifier
product — type-product

Sum types consist of alternatives. Each alternative has a name and a type product, which contains the fields, and optionally an invariant, for that alternative.

Subtopics

Alternative-fix: Fixing function for alternative structures.
Alternative-equiv: Basic equivalence relation for alternative structures.
Make-alternative: Basic constructor macro for alternative structures.
Alternative->product: Get the product field from a alternative.
Alternative->name: Get the name field from a alternative.
Change-alternative: Modifying constructor for alternative structures.
Alternativep: Recognizer for alternative structures.