Method from_dict

verifier/AgentVerifier/WorkflowToLean.py:48–53

(d: dict)

    @staticmethod
    def from_dict(d: dict) -> "SubmoduleRef":
        return SubmoduleRef(
            name=d["name"], kind=d.get("kind", "call"),
            output_var=d.get("output_var"),
            input_var=d.get("input_var"),
        )


# ---------- TypedVar ----------