Svstmt

Svstmt-assign

This is a product type, introduced by deftagsum in support of svstmt.

Fields

writes — svstmt-writelist
blockingp — booleanp

Subtopics

Svstmt-assign->writes: Get the writes field from a svstmt-assign.
Svstmt-assign->blockingp: Get the blockingp field from a svstmt-assign.
Make-svstmt-assign: Basic constructor macro for svstmt-assign structures.
Change-svstmt-assign: Modifying constructor for svstmt-assign structures.