docs: define pure method call contract and interprocedural scope (#10) - #23

docs: define pure method call contract and interprocedural scope (#10)#23

mao2009 wants to merge 1 commit into

feature/issue-9-rt-semanticsmao2009/PureSharp:feature/issue-9-rt-semanticsfrom

feature/issue-10-interproceduralmao2009/PureSharp:feature/issue-10-interproceduralCopy head branch name to clipboard