Top

Lhs.lisp

Lhs-override

This is a product type introduced by defprod.

Fields

lhs — lhs
test — svex
val — svex

Subtopics

Lhs-override-fix: Fixing function for lhs-override structures.
Lhs-override-equiv: Basic equivalence relation for lhs-override structures.
Make-lhs-override: Basic constructor macro for lhs-override structures.
Lhs-override->val: Get the val field from a lhs-override.
Lhs-override->test: Get the test field from a lhs-override.
Change-lhs-override: Modifying constructor for lhs-override structures.
Lhs-override->lhs: Get the lhs field from a lhs-override.
Lhs-override-p: Recognizer for lhs-override structures.