Skip to content

Take the type of a call from the callee - #227

Draft
coord-e wants to merge 1 commit into
claude/entry-precondition-from-signaturefrom
claude/call-type-from-callee
Draft

Take the type of a call from the callee#227
coord-e wants to merge 1 commit into
claude/entry-precondition-from-signaturefrom
claude/call-type-from-callee

Commits

Commits on Aug 16, 2026