Skip to main content

Module ctx_expand

lean_ctx::tools

Module ctx_expand 

Source

Functionsยง

handle
resolve_handle_ref
Try to resolve a handle reference (@F1, @K1, etc.) to a file path. Returns None if the ID is not a handle reference.