Swift Intermediate Language (SIL)

https://github.com/apple/swift/blob/master/docs/SIL.rst#witness-method