Top

Proof-tree

Proof-tree-equal

This is a product type, introduced by fty::deftagsum in support of proof-tree.

Fields

asg — assignment
left — expression
right — expression

Subtopics

Make-proof-tree-equal: Basic constructor macro for proof-tree-equal structures.
Proof-tree-equal->right: Get the right field from a proof-tree-equal.
Proof-tree-equal->left: Get the left field from a proof-tree-equal.
Proof-tree-equal->asg: Get the asg field from a proof-tree-equal.
Change-proof-tree-equal: Modifying constructor for proof-tree-equal structures.