Svstmt.lisp

Svstmt-write

This is a product type introduced by defprod.

Fields

lhs — svex-select
rhs — svex

Subtopics

Svstmt-write-fix: Fixing function for svstmt-write structures.
Svstmt-write-equiv: Basic equivalence relation for svstmt-write structures.
Make-svstmt-write: Basic constructor macro for svstmt-write structures.
Svstmt-write->lhs: Get the lhs field from a svstmt-write.
Change-svstmt-write: Modifying constructor for svstmt-write structures.
Svstmt-write->rhs: Get the rhs field from a svstmt-write.
Svstmt-write-p: Recognizer for svstmt-write structures.