Top

Path

Path-scope

Path into a subscope, e.g., a.b.c

This is a product type, introduced by defflexsum in support of path.

Fields

subpath — path: The rest of the path inside the subscope, e.g. b.c
namespace — name: The name of the subscope, e.g. a

Subtopics

Make-path-scope: Basic constructor macro for path-scope structures.
Path-scope->subpath: Get the subpath field from a path-scope.
Path-scope->namespace: Get the namespace field from a path-scope.
Change-path-scope: Modifying constructor for path-scope structures.