papyri
{ } Raw JSON

bundles / papyri latest / papyri / cli / find / find

function

papyri.cli.find:find

source: /papyri/cli/find.py :16

Signature

def   find ( node_name : Annotated[str, typer.Argument(help='Name of the IR node type to search for.', autocompletion=_complete_nodename)] )  →  None

Summary

Find all documents with a given type of AST node.

Extended Summary

Mostly used to debug IR. One can find all documents with, say, equations:

$ papyri find Math

Aliases

  • papyri.find