		Search-engine friendly clone of the ACL2 documentation.

Semantics

Config

Fixtype of Imp configuration.

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

Fields

comms — comm-list
env — env

A configuration consists of a command list and an environment. When the command list is empty, there is nothing left to do, i.e. execution has terminated.

Subtopics

Config-fix: Fixing function for config structures.
Config-equiv: Basic equivalence relation for config structures.
Make-config: Basic constructor macro for config structures.
Config->comms: Get the comms field from a config.
Change-config: Modifying constructor for config structures.
Configp: Recognizer for config structures.
Config->env: Get the env field from a config.