(args: argparse.Namespace)
| 317 | |
| 318 | |
| 319 | def cmd_redefine_file(args: argparse.Namespace) -> None: |
| 320 | state = _load_state() |
| 321 | _output(_post(state, "/structure/redefine", { |
| 322 | "file": args.file, |
| 323 | "definition": args.definition, |
| 324 | })) |
| 325 | |
| 326 | |
| 327 | def cmd_define_symbol(args: argparse.Namespace) -> None: |
nothing calls this directly
no test coverage detected