Svmods

Design

This is a product type introduced by defprod.

Fields

modalist — modalist
top — modname

Subtopics

Design-fix: Fixing function for design structures.
Design-equiv: Basic equivalence relation for design structures.
Make-design: Basic constructor macro for design structures.
Design-p: Recognizer for design structures.
Design->modalist: Get the modalist field from a design.
Change-design: Modifying constructor for design structures.
Design->top: Get the top field from a design.