		Search-engine friendly clone of the ACL2 documentation.

File-paths

Filepath

Fixtype of file paths.

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

Fields

unwrap — ACL2::any-p

For now we formalize a file path as anything, which we wrap to keep things more abstract and separate. In the future we may refine this type with more structure. But note that, for instance, we could already use strings with slashes and such as file paths.

Subtopics

Filepath-fix: Fixing function for filepath structures.
Filepath-equiv: Basic equivalence relation for filepath structures.
Make-filepath: Basic constructor macro for filepath structures.
Filepathp: Recognizer for filepath structures.
Filepath->unwrap: Get the unwrap field from a filepath.
Change-filepath: Modifying constructor for filepath structures.