MCPcopy Create free account
hub / github.com/ScaleML/AgentSPEX / resolve_type

Function resolve_type

verifier/AgentVerifier/WorkflowToLean.py:416–417  ·  view source on GitHub ↗
(v: str)

Source from the content-addressed store, hash-verified

414 return cur
415
416 def resolve_type(v: str) -> str:
417 return type_ctx.get(v, "TString")
418
419 def build_reads(vs: list[str]) -> list[TypedVar]:
420 return [TypedVar(v, resolve_type(v)) for v in vs]

Callers 1

build_readsFunction · 0.85

Calls 1

getMethod · 0.80

Tested by

no test coverage detected