Bexp

Bexp-equal

This is a product type, introduced by fty::deftagsum in support of bexp.

Fields

left — aexp
right — aexp

Subtopics

Make-bexp-equal: Basic constructor macro for bexp-equal structures.
Bexp-equal->right: Get the right field from a bexp-equal.
Bexp-equal->left: Get the left field from a bexp-equal.
Change-bexp-equal: Modifying constructor for bexp-equal structures.