		Search-engine friendly clone of the ACL2 documentation.

Abstract-syntax

Mapping

Fixtype of mappings.

This is a product type introduced by fty::defprod.

Fields

name — identifier
key-name — identifier
key-type — finalize-type
value-name — identifier
value-type — finalize-type

A mapping consists of the name of the mapping (an identifier), the name of the keys (an identifier), the (finalization) type of the keys, the name of the values (an identifier), and the (finalization) type of the values.

Subtopics

Mapping-fix: Fixing function for mapping structures.
Make-mapping: Basic constructor macro for mapping structures.
Mapping-equiv: Basic equivalence relation for mapping structures.
Mapping->value-type: Get the value-type field from a mapping.
Change-mapping: Modifying constructor for mapping structures.
Mapping->value-name: Get the value-name field from a mapping.
Mapping->key-type: Get the key-type field from a mapping.
Mapping->key-name: Get the key-name field from a mapping.
Mappingp: Recognizer for mapping structures.
Mapping->name: Get the name field from a mapping.