Inference rules supply commands to update targets and to infer dependents for targets.

  • 推理规则提供命令来更新目标并推理目标的依赖项。
目录 查词历史