A dummy default constant for __dir__ to make it type check
outside Lakefile elaboration (e.g., when editing).
A dummy default constant for get_config to make it type check
outside Lakefile elaboration (e.g., when editing).
A macro that expands to the path of package's directory during the Lakefile's elaboration.
Instances For
A macro that expands to the specified configuration option (or none,
if not the option has not been set) during the Lakefile's elaboration.
Configuration arguments are set either via the Lake CLI (by the -K option)
or via the with clause in a require statement.