Top

Smtlink-hint

Binding

This is a product type introduced by defprod.

Fields

var — symbolp
expr — pseudo-termp
type — symbolp

Subtopics

Binding-fix: Fixing function for binding structures.
Binding-equiv: Basic equivalence relation for binding structures.
Make-binding: Basic constructor macro for binding structures.
Change-binding: Modifying constructor for binding structures.
Binding->type: Get the type field from a binding.
Binding->expr: Get the expr field from a binding.
Binding->var: Get the var field from a binding.
Binding-p: Recognizer for binding structures.
Binding-list: A list of binding-p objects.